sel4_sys::invocation_label

Constant X86ASIDControlMakePool

Source 
pub const X86ASIDControlMakePool: u32 = 39u32;