Constant SEL4_MAPPING_LOOKUP_NO_EPTPDPT 

pub const SEL4_MAPPING_LOOKUP_NO_EPTPDPT: u32 = 39;