Constant sel4_sys::invocation_label::IRQClearIRQHandler

pub const IRQClearIRQHandler: u32 = 28u32;