Constant VMCS_CTRL_CPU_BASED 

pub const VMCS_CTRL_CPU_BASED: uint32_t = 0x00004002;