formal-model/urcu-controldataflow/DEFINES

   1
   2 #define read_free_race  (read_generation[0] == last_free_gen)
   3 #define read_free       (free_done && data_access[0])
   4
   5 #define RCU_GP_CTR_BIT (1 << 7)
   6 #define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
   7
   8 //FIXME
   9 //#define REMOTE_BARRIERS