sel4_sys::invocation_label

Constant X86IRQIssueIRQHandlerMSI

Source
pub const X86IRQIssueIRQHandlerMSI: u32 = 49u32;