Constant SEL4_MAPPING_LOOKUP_LEVEL 

pub const SEL4_MAPPING_LOOKUP_LEVEL: u32 = 2;