diff options
Diffstat (limited to 'litmus/polling_reservations.c')
-rw-r--r-- | litmus/polling_reservations.c | 7 |
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: |