[lttv.git] / trunk / verif / nico / defines

#define rd_wr_wr_off1       (write_off - read_off >= 0)
#define rd_wr_wr_off2       (write_off - read_off < HALF_UCHAR)

#define commit_sum_wr_off1	(write_off - commit_sum >= 0)
#define commit_sum_wr_off2	(write_off - commit_sum < HALF_UCHAR)

#define buffer_large_enough	(NUMPROCS + NUMSWITCH <= BUFSIZE)
#define have_events_lost	(events_lost != 0)
Commit	Line	Data
dc45444e	1	#define rd_wr_wr_off1 (write_off - read_off >= 0)
	2	#define rd_wr_wr_off2 (write_off - read_off < HALF_UCHAR)
	3
	4	#define commit_sum_wr_off1 (write_off - commit_sum >= 0)
	5	#define commit_sum_wr_off2 (write_off - commit_sum < HALF_UCHAR)
	6
	7	#define buffer_large_enough (NUMPROCS + NUMSWITCH <= BUFSIZE)
	8	#define have_events_lost (events_lost != 0)