formal-model/urcu/DEFINES

   1
   2 #define NR_READERS 1
   3 #define NR_WRITERS 1
   4
   5 #define NR_PROCS 2
   6
   7 #define read_free_race  (read_generation[0] == last_free_gen)
   8 #define read_free       (free_done && data_access[0])
   9
  10 #define TEST_SIGNAL
  11 #define TEST_SIGNAL_ON_READ
  12
  13 #define RCU_GP_CTR_BIT (1 << 7)
  14 #define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
  15
  16 #ifndef READER_NEST_LEVEL
  17 #define READER_NEST_LEVEL 1
  18 #endif
  19
  20 #define REMOTE_BARRIERS