Constant sel4_sys::invocation_label::ARMASIDControlMakePool

pub const ARMASIDControlMakePool: u32 = 50u32;