[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)

#ifndef READER_NEST_LEVEL
#define READER_NEST_LEVEL 2
#endif
Commit	Line	Data
	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)
	6
	7	#ifndef READER_NEST_LEVEL
	8	#define READER_NEST_LEVEL 2
	9	#endif