Constant sel4_sys::invocation_label::ARMASIDPoolAssign

pub const ARMASIDPoolAssign: u32 = 51u32;