diff options
Diffstat (limited to 'litmus/polling_reservations.c')
-rw-r--r-- | litmus/polling_reservations.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/litmus/polling_reservations.c b/litmus/polling_reservations.c index 1cfd09169959..c6e10eb681c9 100644 --- a/litmus/polling_reservations.c +++ b/litmus/polling_reservations.c | |||
@@ -4,6 +4,8 @@ | |||
4 | #include <litmus/reservation.h> | 4 | #include <litmus/reservation.h> |
5 | #include <litmus/polling_reservations.h> | 5 | #include <litmus/polling_reservations.h> |
6 | 6 | ||
7 | //#define TRACE(fmt, args...) do {} while (false) | ||
8 | //#define TRACE_TASK(fmt, args...) do {} while (false) | ||
7 | 9 | ||
8 | static void periodic_polling_client_arrives( | 10 | static void periodic_polling_client_arrives( |
9 | struct reservation* res, | 11 | struct reservation* res, |