sel4_sys

Constant SEL4_MAPPING_LOOKUP_NO_PDPT

Source
pub const SEL4_MAPPING_LOOKUP_NO_PDPT: u32 = 39;