[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
551ac1a3	1
6af482a9 MD	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)
551ac1a3 MD	9
	10	#define RCU_GP_CTR_BIT (1 << 7)
	11	#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
	12
6af482a9	13	//disabled
551ac1a3	14	//#define REMOTE_BARRIERS