sel4_sys::invocation_label

Constant IRQSetIRQHandler

Source 
pub const IRQSetIRQHandler: u32 = 28u32;