Constant xen_sys::EVTCHN_FIFO_NR_CHANNELS

pub const EVTCHN_FIFO_NR_CHANNELS: u32 = 131072;