Constant sel4_sys::SEL4_MAPPING_LOOKUP_NO_PT

source · 
pub const SEL4_MAPPING_LOOKUP_NO_PT: u32 = 21;