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

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

#define read_free_race	(read_generation == last_free_gen)
#define read_free	(free_done && data_access)
Commit	Line	Data
60a1db9d MD	1	#define RCU_GP_CTR_BIT (1 << 7)
	2	#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
	3
	4	#define read_free_race (read_generation == last_free_gen)
	5	#define read_free (free_done && data_access)