sel4_sys::invocation_label

Constant X86IOPortControlIssue

Source
pub const X86IOPortControlIssue: u32 = 41u32;