sel4_sys::invocation_label

Constant ARMIRQIssueIRQHandlerTriggerCore

Source 
pub const ARMIRQIssueIRQHandlerTriggerCore: u32 = 53u32;