Constant seL4_ARM_VSpaceObject 

pub const seL4_ARM_VSpaceObject: Type = 8;