sel4_sys::invocation_label

Constant ARMIRQIssueIRQHandlerTriggerCore

Source
pub const ARMIRQIssueIRQHandlerTriggerCore: u32 = 47u32;