Constant SEL4_MAPPING_LOOKUP_NO_EPTPT 

pub const SEL4_MAPPING_LOOKUP_NO_EPTPT: u32 = 21;