Constant seL4_ARM_VCPUBits 

pub const seL4_ARM_VCPUBits: u32 = 12;