Constant sel4_sys::invocation_label::IRQAckIRQ

pub const IRQAckIRQ: u32 = 26u32;