Constant sel4_sys::SEL4_MAPPING_LOOKUP_LEVEL

pub const SEL4_MAPPING_LOOKUP_LEVEL: u32 = 2;