Constant seL4_ARM_VCPUObject 

pub const seL4_ARM_VCPUObject: u32 = 65534;