sel4_sys::invocation_label

Constant ARMASIDControlMakePool

Source 
pub const ARMASIDControlMakePool: u32 = 45u32;