Constant sel4_sys::SEL4_MAPPING_LOOKUP_LEVEL

source · 
pub const SEL4_MAPPING_LOOKUP_LEVEL: u32 = 2;