EVTCHN_FIFO_PRIORITY_MIN   49 include/xen/events.h #define XEN_IRQ_PRIORITY_MIN     EVTCHN_FIFO_PRIORITY_MIN
EVTCHN_FIFO_PRIORITY_MIN  258 include/xen/interface/event_channel.h #define EVTCHN_FIFO_MAX_QUEUES (EVTCHN_FIFO_PRIORITY_MIN + 1)