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