sel4_sys::invocation_label

Constant X86IOPortIn16

Source 
pub const X86IOPortIn16: u32 = 43u32;