Constant sel4_sys::seL4_PageBits

source ยท 
pub const seL4_PageBits: u32 = 12;