SECONDARY_EXEC_SHADOW_VMCS
SECONDARY_EXEC_SHADOW_VMCS;
secondary_exec_controls_clearbit(vmx, SECONDARY_EXEC_SHADOW_VMCS);
exec_control &= ~SECONDARY_EXEC_SHADOW_VMCS;
secondary_exec_controls_setbit(vmx, SECONDARY_EXEC_SHADOW_VMCS);
SECONDARY_EXEC_SHADOW_VMCS;
SECONDARY_EXEC_SHADOW_VMCS;
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_SHADOW_VMCS);
exec_control &= ~SECONDARY_EXEC_SHADOW_VMCS;
SECONDARY_EXEC_SHADOW_VMCS |
SECONDARY_EXEC_SHADOW_VMCS | \
vmwrite(SECONDARY_VM_EXEC_CONTROL, SECONDARY_EXEC_SHADOW_VMCS);