[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi / 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
b6b17880 MD	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
	15
	16	#define ARCH_ALPHA
	17	//#define ARCH_INTEL
	18	//#define ARCH_POWERPC