1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_X86_KVM_VCPU_REGS_H
 3#define _ASM_X86_KVM_VCPU_REGS_H
 4
 5#define __VCPU_REGS_RAX  0
 6#define __VCPU_REGS_RCX  1
 7#define __VCPU_REGS_RDX  2
 8#define __VCPU_REGS_RBX  3
 9#define __VCPU_REGS_RSP  4
10#define __VCPU_REGS_RBP  5
11#define __VCPU_REGS_RSI  6
12#define __VCPU_REGS_RDI  7
13
14#ifdef CONFIG_X86_64
15#define __VCPU_REGS_R8   8
16#define __VCPU_REGS_R9   9
17#define __VCPU_REGS_R10 10
18#define __VCPU_REGS_R11 11
19#define __VCPU_REGS_R12 12
20#define __VCPU_REGS_R13 13
21#define __VCPU_REGS_R14 14
22#define __VCPU_REGS_R15 15
23#endif
24
25#endif /* _ASM_X86_KVM_VCPU_REGS_H */