fixes for RTSSbudgeting

1 files changed, 4 insertions, 1 deletions

diff --git a/include/litmus/reservations/gedf_reservation.h b/include/litmus/reservations/gedf_reservation.h
index 8f4d99f7c922..faf481a1ab6f 100644
--- a/include/litmus/reservations/gedf_reservation.h
+++ b/include/litmus/reservations/gedf_reservation.h
@@ -64,7 +64,10 @@ struct gedf_reservation_environment {
         struct list_head all_reservations;
 
         /* number of active cpus in reservation */
-        volatile int num_cpus;
+        int num_cpus;
+
+        /* numbers of cpus reservation is active on */
+        int num_active_cpus;
 
         /* array of gedf cpu entries */
         struct gedf_cpu_entry* cpu_entries;