SEL4_MAPPING_LOOKUP_LEVEL

Constant SEL4_MAPPING_LOOKUP_LEVEL 

Source
pub const SEL4_MAPPING_LOOKUP_LEVEL: u32 = 2;