/* SPDX-License-Identifier: GPL-2.0 */
#ifndef __KVM_X86_VMX_RUN_FLAGS_H
#define __KVM_X86_VMX_RUN_FLAGS_H

#define VMX_RUN_VMRESUME	(1 << 0)
#define VMX_RUN_SAVE_SPEC_CTRL	(1 << 1)

#endif /* __KVM_X86_VMX_RUN_FLAGS_H */