18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
28c2ecf20Sopenharmony_ci#ifndef _ASM_X86_KVM_VCPU_REGS_H
38c2ecf20Sopenharmony_ci#define _ASM_X86_KVM_VCPU_REGS_H
48c2ecf20Sopenharmony_ci
58c2ecf20Sopenharmony_ci#define __VCPU_REGS_RAX  0
68c2ecf20Sopenharmony_ci#define __VCPU_REGS_RCX  1
78c2ecf20Sopenharmony_ci#define __VCPU_REGS_RDX  2
88c2ecf20Sopenharmony_ci#define __VCPU_REGS_RBX  3
98c2ecf20Sopenharmony_ci#define __VCPU_REGS_RSP  4
108c2ecf20Sopenharmony_ci#define __VCPU_REGS_RBP  5
118c2ecf20Sopenharmony_ci#define __VCPU_REGS_RSI  6
128c2ecf20Sopenharmony_ci#define __VCPU_REGS_RDI  7
138c2ecf20Sopenharmony_ci
148c2ecf20Sopenharmony_ci#ifdef CONFIG_X86_64
158c2ecf20Sopenharmony_ci#define __VCPU_REGS_R8   8
168c2ecf20Sopenharmony_ci#define __VCPU_REGS_R9   9
178c2ecf20Sopenharmony_ci#define __VCPU_REGS_R10 10
188c2ecf20Sopenharmony_ci#define __VCPU_REGS_R11 11
198c2ecf20Sopenharmony_ci#define __VCPU_REGS_R12 12
208c2ecf20Sopenharmony_ci#define __VCPU_REGS_R13 13
218c2ecf20Sopenharmony_ci#define __VCPU_REGS_R14 14
228c2ecf20Sopenharmony_ci#define __VCPU_REGS_R15 15
238c2ecf20Sopenharmony_ci#endif
248c2ecf20Sopenharmony_ci
258c2ecf20Sopenharmony_ci#endif /* _ASM_X86_KVM_VCPU_REGS_H */
26