Constant sel4_sys::SEL4_MAPPING_LOOKUP_NO_PD

pub const SEL4_MAPPING_LOOKUP_NO_PD: u32 = 30;