pub const EVTCHN_FIFO_PRIORITY_MAX: u32 = 0;