EVTCHN_FIFO_MAX_QUEUES   61 drivers/xen/events/events_fifo.c 	uint32_t head[EVTCHN_FIFO_MAX_QUEUES];
EVTCHN_FIFO_MAX_QUEUES  111 drivers/xen/events/events_fifo.c 	for (i = 0; i < EVTCHN_FIFO_MAX_QUEUES; i++)
EVTCHN_FIFO_MAX_QUEUES  338 drivers/xen/events/events_fifo.c 		q = find_first_bit(&ready, EVTCHN_FIFO_MAX_QUEUES);
EVTCHN_FIFO_MAX_QUEUES  276 include/xen/interface/event_channel.h 	event_word_t head[EVTCHN_FIFO_MAX_QUEUES];