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