Constant sel4_sys::seL4_LargePageBits

source · 
pub const seL4_LargePageBits: u32 = 21;