Reservations: fix time-tracking of table-driven reservations

Keep track of the current slot and major cycle explicitly to avoid
ambiguity when the budget charging is delayed into the next major
cycle due to a late interrupt or other sources of delay.

1 files changed, 2 insertions, 0 deletions

diff --git a/litmus/reservation.c b/litmus/reservation.c
index 447fc5b1be23..f79689823be7 100644
--- a/litmus/reservation.c
+++ b/litmus/reservation.c
@@ -206,6 +206,7 @@ static void sup_charge_budget(
                         /* stop at the first ACTIVE reservation */
                         break;
         }
+        TRACE("finished charging budgets\n");
 }
 
 static void sup_replenish_budgets(struct sup_reservation_environment* sup_env)
@@ -222,6 +223,7 @@ static void sup_replenish_budgets(struct sup_reservation_environment* sup_env)
                         break;
                 }
         }
+        TRACE("finished replenishing budgets\n");
 
         /* request a scheduler update at the next replenishment instant */
         res = list_first_entry_or_null(&sup_env->depleted_reservations,