Reservations: keep track of consumed budget

This can be a useful stat for userspace.

1 files changed, 4 insertions, 0 deletions

diff --git a/include/litmus/reservation.h b/include/litmus/reservation.h
index 9c23e27165b2..4eecd3f088e8 100644
--- a/include/litmus/reservation.h
+++ b/include/litmus/reservation.h
@@ -117,6 +117,10 @@ struct reservation {
         lt_t cur_budget;
         lt_t next_replenishment;
 
+        /* budget stats */
+        lt_t budget_consumed; /* how much budget consumed in this allocation cycle? */
+        lt_t budget_consumed_total;
+
         /* interaction with framework */
         struct reservation_environment *env;
         struct reservation_ops *ops;