[urcu.git] / formal-model / urcu-controldataflow / DEFINES


// Poison value for freed memory
#define POISON 66
// Memory with correct data
#define WINE 33
#define SLAB_SIZE 2

#define read_poison	(data_read[0] == POISON)

#define RCU_GP_CTR_BIT (1 << 7)
#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)

//disabled
//#define REMOTE_BARRIERS
Commit	Line	Data
	1
	2	// Poison value for freed memory
	3	#define POISON 66
	4	// Memory with correct data
	5	#define WINE 33
	6	#define SLAB_SIZE 2
	7
	8	#define read_poison (data_read[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