Constant SEL4_MAPPING_LOOKUP_NO_PT 

pub const SEL4_MAPPING_LOOKUP_NO_PT: u32 = 20;