sel4_sys::invocation_label

Constant IRQClearIRQHandler

Source
pub const IRQClearIRQHandler: u32 = 29u32;