pub const EVTCHN_FIFO_BUSY: u32 = 28;