diff options
Diffstat (limited to 'litmus/reservation.c')
-rw-r--r-- | litmus/reservation.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/litmus/reservation.c b/litmus/reservation.c index 0d0c4930b872..e3381d631daf 100644 --- a/litmus/reservation.c +++ b/litmus/reservation.c | |||
@@ -480,6 +480,8 @@ static void gmp_queue_active( | |||
480 | struct reservation *queued; | 480 | struct reservation *queued; |
481 | int check_preempt = 1, found = 0; | 481 | int check_preempt = 1, found = 0; |
482 | 482 | ||
483 | TRACE("R%d has been queued on active\n", res->id); | ||
484 | |||
483 | list_for_each(pos, &gmp_env->active_reservations) { | 485 | list_for_each(pos, &gmp_env->active_reservations) { |
484 | queued = list_entry(pos, struct reservation, list); | 486 | queued = list_entry(pos, struct reservation, list); |
485 | if (queued->priority > res->priority) { | 487 | if (queued->priority > res->priority) { |