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