Constant sel4_sys::seL4_VSpaceBits

source ยท 
pub const seL4_VSpaceBits: u32 = 13;