Constant sel4_sys::SEL4_MAPPING_LOOKUP_NO_PUD

source · 
pub const SEL4_MAPPING_LOOKUP_NO_PUD: u32 = 39;