VM_ENTRY_CONTROLS
EVMCS1_FIELD(VM_ENTRY_CONTROLS, vm_entry_controls,
FIELD(VM_ENTRY_CONTROLS, vm_entry_controls),
vmentry_ctl = vmcs_read32(VM_ENTRY_CONTROLS);
BUILD_CONTROLS_SHADOW(vm_entry, VM_ENTRY_CONTROLS, 32)
case VM_ENTRY_CONTROLS:
case VM_ENTRY_CONTROLS:
vmwrite(VM_ENTRY_CONTROLS, rdmsr(MSR_IA32_VMX_ENTRY_CTLS) |