CPU_BASED_INTR_WINDOW_EXITING
CPU_BASED_INTR_WINDOW_EXITING | \
exec_control &= ~CPU_BASED_INTR_WINDOW_EXITING;
if ((__exec_controls_get(&vmx->vmcs01) & (CPU_BASED_INTR_WINDOW_EXITING |
!(nested_cpu_has(vmcs12, CPU_BASED_INTR_WINDOW_EXITING) &&
return nested_cpu_has(vmcs12, CPU_BASED_INTR_WINDOW_EXITING);
CPU_BASED_INTR_WINDOW_EXITING |
exec_control &= ~(CPU_BASED_INTR_WINDOW_EXITING |
exec_controls_setbit(to_vmx(vcpu), CPU_BASED_INTR_WINDOW_EXITING);
exec_controls_clearbit(to_vmx(vcpu), CPU_BASED_INTR_WINDOW_EXITING);
CPU_BASED_INTR_WINDOW_EXITING;
CPU_BASED_INTR_WINDOW_EXITING)