SECONDARY_VM_EXEC_CONTROL
EVMCS1_FIELD(SECONDARY_VM_EXEC_CONTROL, secondary_vm_exec_control,
case SECONDARY_VM_EXEC_CONTROL:
FIELD(SECONDARY_VM_EXEC_CONTROL, secondary_vm_exec_control),
secondary_exec_control = vmcs_read32(SECONDARY_VM_EXEC_CONTROL);
BUILD_CONTROLS_SHADOW(secondary_exec, SECONDARY_VM_EXEC_CONTROL, 32)
case SECONDARY_VM_EXEC_CONTROL:
case SECONDARY_VM_EXEC_CONTROL:
if (!vmwrite(SECONDARY_VM_EXEC_CONTROL, sec_exec_ctl))
control = vmreadz(SECONDARY_VM_EXEC_CONTROL);
vmwrite(SECONDARY_VM_EXEC_CONTROL, control);
vmwrite(SECONDARY_VM_EXEC_CONTROL, SECONDARY_EXEC_SHADOW_VMCS);
control = vmreadz(SECONDARY_VM_EXEC_CONTROL);
vmwrite(SECONDARY_VM_EXEC_CONTROL, control);
!(vmreadz(SECONDARY_VM_EXEC_CONTROL) & SECONDARY_EXEC_UNRESTRICTED_GUEST));