Constant sel4_sys::seL4_VSpaceBits

pub const seL4_VSpaceBits: u32 = 13;