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


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

#define read_poison	(data_read_first[0] == POISON || data_read_second[0] == POISON)

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

//disabled
//#define REMOTE_BARRIERS

#define ARCH_ALPHA
//#define ARCH_INTEL
//#define ARCH_POWERPC
Commit	Line	Data
551ac1a3	1
6af482a9	2	// Poison value for freed memory
caeea74c	3	#define POISON 1
6af482a9	4	// Memory with correct data
caeea74c	5	#define WINE 0
6af482a9 MD	6	#define SLAB_SIZE 2
6af482a9 MD	7
caeea74c	8	#define read_poison (data_read_first[0] == POISON \|\| data_read_second[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
a725add5	14	//#define REMOTE_BARRIERS
f24274b9 MD	15
	16	#define ARCH_ALPHA
	17	//#define ARCH_INTEL
	18	//#define ARCH_POWERPC