Constant seL4_ARM_VCPUObject

pub const seL4_ARM_VCPUObject: u32 = 65534;