formal-model/urcu/DEFINES

   1 #define RCU_GP_CTR_BIT (1 << 7)
   2 #define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
   3
   4 #define read_free_race  (read_generation == last_free_gen)
   5 #define read_free       (free_done && data_access)
   6
   7 #ifndef READER_NEST_LEVEL
   8 #define READER_NEST_LEVEL 2
   9 #endif
  10
  11 #define REMOTE_BARRIERS