1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef __KVM_X86_VMX_RUN_FLAGS_H 3 #define __KVM_X86_VMX_RUN_FLAGS_H 4 5 #define VMX_RUN_VMRESUME_SHIFT 0 6 #define VMX_RUN_SAVE_SPEC_CTRL_SHIFT 1 7 8 #define VMX_RUN_VMRESUME BIT(VMX_RUN_VMRESUME_SHIFT) 9 #define VMX_RUN_SAVE_SPEC_CTRL BIT(VMX_RUN_SAVE_SPEC_CTRL_SHIFT) 10 11 #endif /* __KVM_X86_VMX_RUN_FLAGS_H */ 12
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.