Constant sel4_sys::seL4_VCPUBits

pub const seL4_VCPUBits: u32 = 12;