2 * Copyright (C) 2012,2013 - ARM Ltd
3 * Author: Marc Zyngier <marc.zyngier@arm.com>
5 * Derived from arch/arm/include/kvm_emulate.h
6 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
7 * Author: Christoffer Dall <c.dall@virtualopensystems.com>
9 * This program is free software; you can redistribute it and/or modify
10 * it under the terms of the GNU General Public License version 2 as
11 * published by the Free Software Foundation.
13 * This program is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 * GNU General Public License for more details.
18 * You should have received a copy of the GNU General Public License
19 * along with this program. If not, see <http://www.gnu.org/licenses/>.
22 #ifndef __ARM64_KVM_EMULATE_H__
23 #define __ARM64_KVM_EMULATE_H__
25 #include <linux/kvm_host.h>
28 #include <asm/kvm_arm.h>
29 #include <asm/kvm_asm.h>
30 #include <asm/kvm_mmio.h>
31 #include <asm/ptrace.h>
32 #include <asm/cputype.h>
34 unsigned long *vcpu_reg32(const struct kvm_vcpu *vcpu, u8 reg_num);
35 unsigned long *vcpu_spsr32(const struct kvm_vcpu *vcpu);
37 bool kvm_condition_valid32(const struct kvm_vcpu *vcpu);
38 void kvm_skip_instr32(struct kvm_vcpu *vcpu, bool is_wide_instr);
40 void kvm_inject_undefined(struct kvm_vcpu *vcpu);
41 void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr);
42 void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr);
44 static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu)
46 vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS;
47 if (test_bit(KVM_ARM_VCPU_EL1_32BIT, vcpu->arch.features))
48 vcpu->arch.hcr_el2 &= ~HCR_RW;
51 static inline unsigned long vcpu_get_hcr(struct kvm_vcpu *vcpu)
53 return vcpu->arch.hcr_el2;
56 static inline void vcpu_set_hcr(struct kvm_vcpu *vcpu, unsigned long hcr)
58 vcpu->arch.hcr_el2 = hcr;
61 static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu)
63 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pc;
66 static inline unsigned long *vcpu_elr_el1(const struct kvm_vcpu *vcpu)
68 return (unsigned long *)&vcpu_gp_regs(vcpu)->elr_el1;
71 static inline unsigned long *vcpu_cpsr(const struct kvm_vcpu *vcpu)
73 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pstate;
76 static inline bool vcpu_mode_is_32bit(const struct kvm_vcpu *vcpu)
78 return !!(*vcpu_cpsr(vcpu) & PSR_MODE32_BIT);
81 static inline bool kvm_condition_valid(const struct kvm_vcpu *vcpu)
83 if (vcpu_mode_is_32bit(vcpu))
84 return kvm_condition_valid32(vcpu);
89 static inline void kvm_skip_instr(struct kvm_vcpu *vcpu, bool is_wide_instr)
91 if (vcpu_mode_is_32bit(vcpu))
92 kvm_skip_instr32(vcpu, is_wide_instr);
97 static inline void vcpu_set_thumb(struct kvm_vcpu *vcpu)
99 *vcpu_cpsr(vcpu) |= COMPAT_PSR_T_BIT;
102 static inline unsigned long *vcpu_reg(const struct kvm_vcpu *vcpu, u8 reg_num)
104 if (vcpu_mode_is_32bit(vcpu))
105 return vcpu_reg32(vcpu, reg_num);
107 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.regs[reg_num];
110 /* Get vcpu SPSR for current mode */
111 static inline unsigned long *vcpu_spsr(const struct kvm_vcpu *vcpu)
113 if (vcpu_mode_is_32bit(vcpu))
114 return vcpu_spsr32(vcpu);
116 return (unsigned long *)&vcpu_gp_regs(vcpu)->spsr[KVM_SPSR_EL1];
119 static inline bool vcpu_mode_priv(const struct kvm_vcpu *vcpu)
121 u32 mode = *vcpu_cpsr(vcpu) & PSR_MODE_MASK;
123 if (vcpu_mode_is_32bit(vcpu))
124 return mode > COMPAT_PSR_MODE_USR;
126 return mode != PSR_MODE_EL0t;
129 static inline u32 kvm_vcpu_get_hsr(const struct kvm_vcpu *vcpu)
131 return vcpu->arch.fault.esr_el2;
134 static inline unsigned long kvm_vcpu_get_hfar(const struct kvm_vcpu *vcpu)
136 return vcpu->arch.fault.far_el2;
139 static inline phys_addr_t kvm_vcpu_get_fault_ipa(const struct kvm_vcpu *vcpu)
141 return ((phys_addr_t)vcpu->arch.fault.hpfar_el2 & HPFAR_MASK) << 8;
144 static inline u32 kvm_vcpu_hvc_get_imm(const struct kvm_vcpu *vcpu)
146 return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_xVC_IMM_MASK;
149 static inline bool kvm_vcpu_dabt_isvalid(const struct kvm_vcpu *vcpu)
151 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_ISV);
154 static inline bool kvm_vcpu_dabt_iswrite(const struct kvm_vcpu *vcpu)
156 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_WNR);
159 static inline bool kvm_vcpu_dabt_issext(const struct kvm_vcpu *vcpu)
161 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SSE);
164 static inline int kvm_vcpu_dabt_get_rd(const struct kvm_vcpu *vcpu)
166 return (kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SRT_MASK) >> ESR_ELx_SRT_SHIFT;
169 static inline bool kvm_vcpu_dabt_isextabt(const struct kvm_vcpu *vcpu)
171 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_EA);
174 static inline bool kvm_vcpu_dabt_iss1tw(const struct kvm_vcpu *vcpu)
176 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_S1PTW);
179 static inline int kvm_vcpu_dabt_get_as(const struct kvm_vcpu *vcpu)
181 return 1 << ((kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SAS) >> ESR_ELx_SAS_SHIFT);
184 /* This one is not specific to Data Abort */
185 static inline bool kvm_vcpu_trap_il_is32bit(const struct kvm_vcpu *vcpu)
187 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_IL);
190 static inline u8 kvm_vcpu_trap_get_class(const struct kvm_vcpu *vcpu)
192 return kvm_vcpu_get_hsr(vcpu) >> ESR_ELx_EC_SHIFT;
195 static inline bool kvm_vcpu_trap_is_iabt(const struct kvm_vcpu *vcpu)
197 return kvm_vcpu_trap_get_class(vcpu) == ESR_ELx_EC_IABT_LOW;
200 static inline u8 kvm_vcpu_trap_get_fault(const struct kvm_vcpu *vcpu)
202 return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC;
205 static inline u8 kvm_vcpu_trap_get_fault_type(const struct kvm_vcpu *vcpu)
207 return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC_TYPE;
210 static inline unsigned long kvm_vcpu_get_mpidr_aff(struct kvm_vcpu *vcpu)
212 return vcpu_sys_reg(vcpu, MPIDR_EL1) & MPIDR_HWID_BITMASK;
215 static inline void kvm_vcpu_set_be(struct kvm_vcpu *vcpu)
217 if (vcpu_mode_is_32bit(vcpu))
218 *vcpu_cpsr(vcpu) |= COMPAT_PSR_E_BIT;
220 vcpu_sys_reg(vcpu, SCTLR_EL1) |= (1 << 25);
223 static inline bool kvm_vcpu_is_be(struct kvm_vcpu *vcpu)
225 if (vcpu_mode_is_32bit(vcpu))
226 return !!(*vcpu_cpsr(vcpu) & COMPAT_PSR_E_BIT);
228 return !!(vcpu_sys_reg(vcpu, SCTLR_EL1) & (1 << 25));
231 static inline unsigned long vcpu_data_guest_to_host(struct kvm_vcpu *vcpu,
235 if (kvm_vcpu_is_be(vcpu)) {
240 return be16_to_cpu(data & 0xffff);
242 return be32_to_cpu(data & 0xffffffff);
244 return be64_to_cpu(data);
251 return le16_to_cpu(data & 0xffff);
253 return le32_to_cpu(data & 0xffffffff);
255 return le64_to_cpu(data);
259 return data; /* Leave LE untouched */
262 static inline unsigned long vcpu_data_host_to_guest(struct kvm_vcpu *vcpu,
266 if (kvm_vcpu_is_be(vcpu)) {
271 return cpu_to_be16(data & 0xffff);
273 return cpu_to_be32(data & 0xffffffff);
275 return cpu_to_be64(data);
282 return cpu_to_le16(data & 0xffff);
284 return cpu_to_le32(data & 0xffffffff);
286 return cpu_to_le64(data);
290 return data; /* Leave LE untouched */
293 #endif /* __ARM64_KVM_EMULATE_H__ */