Constant seL4_ARM_VCPUObject 

pub const seL4_ARM_VCPUObject: Type = 12;