Constant sel4_sys::seL4_VSpaceEntryBits

source ยท 
pub const seL4_VSpaceEntryBits: u32 = 3;