CPU_BASED_NMI_WINDOW_EXITING
vmcs_config.cpu_based_exec_ctrl & CPU_BASED_NMI_WINDOW_EXITING;
CPU_BASED_NMI_WINDOW_EXITING | \
exec_control &= ~CPU_BASED_NMI_WINDOW_EXITING;
nested_cpu_has(vmcs12, CPU_BASED_NMI_WINDOW_EXITING)))
CPU_BASED_NMI_WINDOW_EXITING)) ||
!nested_cpu_has(vmcs12, CPU_BASED_NMI_WINDOW_EXITING) &&
return nested_cpu_has(vmcs12, CPU_BASED_NMI_WINDOW_EXITING);
CPU_BASED_NMI_WINDOW_EXITING | CPU_BASED_USE_TSC_OFFSETTING |
CPU_BASED_NMI_WINDOW_EXITING);
exec_controls_setbit(to_vmx(vcpu), CPU_BASED_NMI_WINDOW_EXITING);
exec_controls_clearbit(to_vmx(vcpu), CPU_BASED_NMI_WINDOW_EXITING);
CPU_BASED_NMI_WINDOW_EXITING | \