pub const EVTCHNOP_bind_ipi: u32 = 7;