Reservation destroy

1 files changed, 5 insertions, 3 deletions

diff --git a/include/litmus/reservation.h b/include/litmus/reservation.h
index 5ccb20055a56..0e656ad2667e 100644
--- a/include/litmus/reservation.h
+++ b/include/litmus/reservation.h
@@ -129,6 +129,8 @@ struct reservation {
         
         /* for global env. */
         int scheduled_on;
+        /* for blocked by ghost */
+        int blocked_by_ghost;
 };
 
 void reservation_init(struct reservation *res);
@@ -225,14 +227,14 @@ struct gmp_reservation_environment {
         /* set to true if a call to gmp_dispatch() is imminent */
         bool will_schedule;
 };
-/*
+
 void gmp_init(struct gmp_reservation_environment* gmp_env);
 void gmp_add_new_reservation(struct gmp_reservation_environment* gmp_env,
         struct reservation* new_res);
 void gmp_update_time(struct gmp_reservation_environment* gmp_env, lt_t now);
 struct task_struct* gmp_dispatch(struct gmp_reservation_environment* gmp_env);
-
+struct next_timer_event* gmp_find_event_by_id(struct gmp_reservation_environment* gmp_env, unsigned int id);
 struct reservation* gmp_find_by_id(struct gmp_reservation_environment* gmp_env,
         unsigned int id);
-*/
+
 #endif