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 */