pub const VMCS_CTRL_CPU_BASED: u32 = 0x00004002;