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