Constant SEL4_MAPPING_LOOKUP_NO_EPTPD 

pub const SEL4_MAPPING_LOOKUP_NO_EPTPD: u32 = 30;