sel4_sys::invocation_label

Constant X86IRQIssueIRQHandlerMSI

Source 
pub const X86IRQIssueIRQHandlerMSI: u32 = 49u32;