EVTCHN_FIFO_MAX_QUEUES
for (i = 0; i < EVTCHN_FIFO_MAX_QUEUES; i++)
q = find_first_bit(&ready, EVTCHN_FIFO_MAX_QUEUES);
uint32_t head[EVTCHN_FIFO_MAX_QUEUES];
event_word_t head[EVTCHN_FIFO_MAX_QUEUES];