Constant sel4_sys::invocation_label::IRQSetIRQHandler

pub const IRQSetIRQHandler: u32 = 27u32;