aboutsummaryrefslogtreecommitdiffstats
path: root/litmus/polling_reservations.c
diff options
context:
space:
mode:
Diffstat (limited to 'litmus/polling_reservations.c')
-rw-r--r--litmus/polling_reservations.c7
1 files changed, 4 insertions, 3 deletions
diff --git a/litmus/polling_reservations.c b/litmus/polling_reservations.c
index ec5cadd19b4f..d2c54c46442c 100644
--- a/litmus/polling_reservations.c
+++ b/litmus/polling_reservations.c
@@ -32,8 +32,8 @@ static void periodic_polling_client_arrives(
32 } 32 }
33 33
34 TRACE("ENV_TIME_ZERO %llu\n", res->env->time_zero); 34 TRACE("ENV_TIME_ZERO %llu\n", res->env->time_zero);
35 TRACE("pol-res: activate tmp=%llu instances=%llu period=%llu nextrp=%llu cur=%llu\n", 35 TRACE("pol-res: R%d activate tmp=%llu instances=%llu period=%llu nextrp=%llu cur=%llu\n",
36 tmp, instances, pres->period, res->next_replenishment, 36 res->id, tmp, instances, pres->period, res->next_replenishment,
37 res->env->current_time); 37 res->env->current_time);
38 38
39 res->env->change_state(res->env, res, 39 res->env->change_state(res->env, res,
@@ -147,7 +147,8 @@ static void common_drain_budget(
147 switch (res->state) { 147 switch (res->state) {
148 case RESERVATION_DEPLETED: 148 case RESERVATION_DEPLETED:
149 case RESERVATION_INACTIVE: 149 case RESERVATION_INACTIVE:
150 BUG(); 150 //BUG();
151 TRACE("!!!!!!!!!!!!!!!STATE ERROR R%d STATE(%d)\n", res->id, res->state);
151 break; 152 break;
152 153
153 case RESERVATION_ACTIVE_IDLE: 154 case RESERVATION_ACTIVE_IDLE: