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


#define read_free_race	(read_generation[0] == last_free_gen)
#define read_free	(free_done && data_access[0])

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

//FIXME
//#define REMOTE_BARRIERS
Commit	Line	Data
551ac1a3 MD	1
	2	#define read_free_race (read_generation[0] == last_free_gen)
	3	#define read_free (free_done && data_access[0])
	4
	5	#define RCU_GP_CTR_BIT (1 << 7)
	6	#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
	7
	8	//FIXME
	9	//#define REMOTE_BARRIERS