formal-model/results/urcu-controldataflow-no-ipi/DEFINES

   1
   2 // Poison value for freed memory
   3 #define POISON 1
   4 // Memory with correct data
   5 #define WINE 0
   6 #define SLAB_SIZE 2
   7
   8 #define read_poison     (data_read_first[0] == POISON || data_read_second[0] == POISON)
   9
  10 #define RCU_GP_CTR_BIT (1 << 7)
  11 #define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
  12
  13 //disabled
  14 //#define REMOTE_BARRIERS