Constant xen_sys::EVTCHN_FIFO_PRIORITY_DEFAULT

pub const EVTCHN_FIFO_PRIORITY_DEFAULT: u32 = 7;