Constant seL4_VSpaceEntryBits 

pub const seL4_VSpaceEntryBits: u32 = 3;