linux/arch/x86/include/asm/kvm_vcpu_regs.h

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

#define __VCPU_REGS_RAX …
#define __VCPU_REGS_RCX …
#define __VCPU_REGS_RDX …
#define __VCPU_REGS_RBX …
#define __VCPU_REGS_RSP …
#define __VCPU_REGS_RBP …
#define __VCPU_REGS_RSI …
#define __VCPU_REGS_RDI …

#ifdef CONFIG_X86_64
#define __VCPU_REGS_R8 …
#define __VCPU_REGS_R9 …
#define __VCPU_REGS_R10 …
#define __VCPU_REGS_R11 …
#define __VCPU_REGS_R12 …
#define __VCPU_REGS_R13 …
#define __VCPU_REGS_R14 …
#define __VCPU_REGS_R15 …
#endif

#endif /* _ASM_X86_KVM_VCPU_REGS_H */