| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef __KVM_X86_VMX_RUN_FLAGS_H | |
| #define __KVM_X86_VMX_RUN_FLAGS_H | |
| #define VMX_RUN_VMRESUME BIT(0) | |
| #define VMX_RUN_SAVE_SPEC_CTRL BIT(1) | |
| #define VMX_RUN_CLEAR_CPU_BUFFERS_FOR_MMIO BIT(2) | |
| #endif /* __KVM_X86_VMX_RUN_FLAGS_H */ |