blob: 40bc1681b6d56cd2b2cc8fa8a155407ce351d54f [file] [log] [blame]
Marc Zyngier83a49792012-12-10 13:27:52 +00001/*
2 * Copyright (C) 2012,2013 - ARM Ltd
3 * Author: Marc Zyngier <marc.zyngier@arm.com>
4 *
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>
8 *
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.
12 *
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.
17 *
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/>.
20 */
21
22#ifndef __ARM64_KVM_EMULATE_H__
23#define __ARM64_KVM_EMULATE_H__
24
25#include <linux/kvm_host.h>
Mark Rutlandc6d01a92014-11-24 13:59:30 +000026
27#include <asm/esr.h>
Marc Zyngier83a49792012-12-10 13:27:52 +000028#include <asm/kvm_arm.h>
29#include <asm/kvm_mmio.h>
30#include <asm/ptrace.h>
Andre Przywara4429fc62014-06-02 15:37:13 +020031#include <asm/cputype.h>
Marc Zyngier68908bf2015-01-29 15:47:55 +000032#include <asm/virt.h>
Marc Zyngier83a49792012-12-10 13:27:52 +000033
Marc Zyngierb5476312013-02-06 19:40:29 +000034unsigned long *vcpu_reg32(const struct kvm_vcpu *vcpu, u8 reg_num);
35unsigned long *vcpu_spsr32(const struct kvm_vcpu *vcpu);
36
Marc Zyngier27b190b2013-02-06 19:54:04 +000037bool kvm_condition_valid32(const struct kvm_vcpu *vcpu);
38void kvm_skip_instr32(struct kvm_vcpu *vcpu, bool is_wide_instr);
39
Marc Zyngier83a49792012-12-10 13:27:52 +000040void kvm_inject_undefined(struct kvm_vcpu *vcpu);
41void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr);
42void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr);
43
Christoffer Dallb856a592014-10-16 17:21:16 +020044static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu)
45{
46 vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS;
Marc Zyngier68908bf2015-01-29 15:47:55 +000047 if (is_kernel_in_hyp_mode())
48 vcpu->arch.hcr_el2 |= HCR_E2H;
Marc Zyngier801f6772015-01-11 14:10:11 +010049 if (test_bit(KVM_ARM_VCPU_EL1_32BIT, vcpu->arch.features))
50 vcpu->arch.hcr_el2 &= ~HCR_RW;
Christoffer Dallb856a592014-10-16 17:21:16 +020051}
52
Marc Zyngier3c1e7162014-12-19 16:05:31 +000053static inline unsigned long vcpu_get_hcr(struct kvm_vcpu *vcpu)
54{
55 return vcpu->arch.hcr_el2;
56}
57
58static inline void vcpu_set_hcr(struct kvm_vcpu *vcpu, unsigned long hcr)
59{
60 vcpu->arch.hcr_el2 = hcr;
61}
62
Marc Zyngier83a49792012-12-10 13:27:52 +000063static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu)
64{
65 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pc;
66}
67
68static inline unsigned long *vcpu_elr_el1(const struct kvm_vcpu *vcpu)
69{
70 return (unsigned long *)&vcpu_gp_regs(vcpu)->elr_el1;
71}
72
73static inline unsigned long *vcpu_cpsr(const struct kvm_vcpu *vcpu)
74{
75 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pstate;
76}
77
78static inline bool vcpu_mode_is_32bit(const struct kvm_vcpu *vcpu)
79{
Marc Zyngierb5476312013-02-06 19:40:29 +000080 return !!(*vcpu_cpsr(vcpu) & PSR_MODE32_BIT);
Marc Zyngier83a49792012-12-10 13:27:52 +000081}
82
83static inline bool kvm_condition_valid(const struct kvm_vcpu *vcpu)
84{
Marc Zyngier27b190b2013-02-06 19:54:04 +000085 if (vcpu_mode_is_32bit(vcpu))
86 return kvm_condition_valid32(vcpu);
87
88 return true;
Marc Zyngier83a49792012-12-10 13:27:52 +000089}
90
91static inline void kvm_skip_instr(struct kvm_vcpu *vcpu, bool is_wide_instr)
92{
Marc Zyngier27b190b2013-02-06 19:54:04 +000093 if (vcpu_mode_is_32bit(vcpu))
94 kvm_skip_instr32(vcpu, is_wide_instr);
95 else
96 *vcpu_pc(vcpu) += 4;
Marc Zyngier83a49792012-12-10 13:27:52 +000097}
98
99static inline void vcpu_set_thumb(struct kvm_vcpu *vcpu)
100{
Marc Zyngierb5476312013-02-06 19:40:29 +0000101 *vcpu_cpsr(vcpu) |= COMPAT_PSR_T_BIT;
Marc Zyngier83a49792012-12-10 13:27:52 +0000102}
103
Marc Zyngierc0f09632015-11-16 10:28:17 +0000104/*
Pavel Fedinf6be5632015-12-04 15:03:14 +0300105 * vcpu_get_reg and vcpu_set_reg should always be passed a register number
106 * coming from a read of ESR_EL2. Otherwise, it may give the wrong result on
107 * AArch32 with banked registers.
Marc Zyngierc0f09632015-11-16 10:28:17 +0000108 */
Pavel Fedinbc45a512015-12-04 15:03:11 +0300109static inline unsigned long vcpu_get_reg(const struct kvm_vcpu *vcpu,
110 u8 reg_num)
111{
112 return (reg_num == 31) ? 0 : vcpu_gp_regs(vcpu)->regs.regs[reg_num];
113}
114
115static inline void vcpu_set_reg(struct kvm_vcpu *vcpu, u8 reg_num,
116 unsigned long val)
117{
118 if (reg_num != 31)
119 vcpu_gp_regs(vcpu)->regs.regs[reg_num] = val;
120}
121
Marc Zyngier83a49792012-12-10 13:27:52 +0000122/* Get vcpu SPSR for current mode */
123static inline unsigned long *vcpu_spsr(const struct kvm_vcpu *vcpu)
124{
Marc Zyngierb5476312013-02-06 19:40:29 +0000125 if (vcpu_mode_is_32bit(vcpu))
126 return vcpu_spsr32(vcpu);
127
Marc Zyngier83a49792012-12-10 13:27:52 +0000128 return (unsigned long *)&vcpu_gp_regs(vcpu)->spsr[KVM_SPSR_EL1];
129}
130
131static inline bool vcpu_mode_priv(const struct kvm_vcpu *vcpu)
132{
Shannon Zhao9586a2e2016-01-13 17:16:39 +0800133 u32 mode;
Marc Zyngier83a49792012-12-10 13:27:52 +0000134
Shannon Zhao9586a2e2016-01-13 17:16:39 +0800135 if (vcpu_mode_is_32bit(vcpu)) {
136 mode = *vcpu_cpsr(vcpu) & COMPAT_PSR_MODE_MASK;
Marc Zyngierb5476312013-02-06 19:40:29 +0000137 return mode > COMPAT_PSR_MODE_USR;
Shannon Zhao9586a2e2016-01-13 17:16:39 +0800138 }
139
140 mode = *vcpu_cpsr(vcpu) & PSR_MODE_MASK;
Marc Zyngierb5476312013-02-06 19:40:29 +0000141
Marc Zyngier83a49792012-12-10 13:27:52 +0000142 return mode != PSR_MODE_EL0t;
143}
144
145static inline u32 kvm_vcpu_get_hsr(const struct kvm_vcpu *vcpu)
146{
147 return vcpu->arch.fault.esr_el2;
148}
149
150static inline unsigned long kvm_vcpu_get_hfar(const struct kvm_vcpu *vcpu)
151{
152 return vcpu->arch.fault.far_el2;
153}
154
155static inline phys_addr_t kvm_vcpu_get_fault_ipa(const struct kvm_vcpu *vcpu)
156{
157 return ((phys_addr_t)vcpu->arch.fault.hpfar_el2 & HPFAR_MASK) << 8;
158}
159
Wei Huang0d97f8842015-01-12 11:53:36 -0500160static inline u32 kvm_vcpu_hvc_get_imm(const struct kvm_vcpu *vcpu)
161{
Paolo Bonzini1c6007d2015-01-23 13:39:51 +0100162 return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_xVC_IMM_MASK;
Wei Huang0d97f8842015-01-12 11:53:36 -0500163}
164
Marc Zyngier83a49792012-12-10 13:27:52 +0000165static inline bool kvm_vcpu_dabt_isvalid(const struct kvm_vcpu *vcpu)
166{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000167 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_ISV);
Marc Zyngier83a49792012-12-10 13:27:52 +0000168}
169
170static inline bool kvm_vcpu_dabt_iswrite(const struct kvm_vcpu *vcpu)
171{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000172 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_WNR);
Marc Zyngier83a49792012-12-10 13:27:52 +0000173}
174
175static inline bool kvm_vcpu_dabt_issext(const struct kvm_vcpu *vcpu)
176{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000177 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SSE);
Marc Zyngier83a49792012-12-10 13:27:52 +0000178}
179
180static inline int kvm_vcpu_dabt_get_rd(const struct kvm_vcpu *vcpu)
181{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000182 return (kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SRT_MASK) >> ESR_ELx_SRT_SHIFT;
Marc Zyngier83a49792012-12-10 13:27:52 +0000183}
184
185static inline bool kvm_vcpu_dabt_isextabt(const struct kvm_vcpu *vcpu)
186{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000187 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_EA);
Marc Zyngier83a49792012-12-10 13:27:52 +0000188}
189
190static inline bool kvm_vcpu_dabt_iss1tw(const struct kvm_vcpu *vcpu)
191{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000192 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_S1PTW);
Marc Zyngier83a49792012-12-10 13:27:52 +0000193}
194
Marc Zyngier57c841f2016-01-29 15:01:28 +0000195static inline bool kvm_vcpu_dabt_is_cm(const struct kvm_vcpu *vcpu)
196{
197 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_CM);
198}
199
Marc Zyngier83a49792012-12-10 13:27:52 +0000200static inline int kvm_vcpu_dabt_get_as(const struct kvm_vcpu *vcpu)
201{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000202 return 1 << ((kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SAS) >> ESR_ELx_SAS_SHIFT);
Marc Zyngier83a49792012-12-10 13:27:52 +0000203}
204
205/* This one is not specific to Data Abort */
206static inline bool kvm_vcpu_trap_il_is32bit(const struct kvm_vcpu *vcpu)
207{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000208 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_IL);
Marc Zyngier83a49792012-12-10 13:27:52 +0000209}
210
211static inline u8 kvm_vcpu_trap_get_class(const struct kvm_vcpu *vcpu)
212{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000213 return kvm_vcpu_get_hsr(vcpu) >> ESR_ELx_EC_SHIFT;
Marc Zyngier83a49792012-12-10 13:27:52 +0000214}
215
216static inline bool kvm_vcpu_trap_is_iabt(const struct kvm_vcpu *vcpu)
217{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000218 return kvm_vcpu_trap_get_class(vcpu) == ESR_ELx_EC_IABT_LOW;
Marc Zyngier83a49792012-12-10 13:27:52 +0000219}
220
221static inline u8 kvm_vcpu_trap_get_fault(const struct kvm_vcpu *vcpu)
222{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000223 return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC;
Christoffer Dall0496daa52014-09-26 12:29:34 +0200224}
225
226static inline u8 kvm_vcpu_trap_get_fault_type(const struct kvm_vcpu *vcpu)
227{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000228 return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC_TYPE;
Marc Zyngier83a49792012-12-10 13:27:52 +0000229}
230
Andre Przywara4429fc62014-06-02 15:37:13 +0200231static inline unsigned long kvm_vcpu_get_mpidr_aff(struct kvm_vcpu *vcpu)
Marc Zyngier79c64882013-10-18 18:19:03 +0100232{
Andre Przywara4429fc62014-06-02 15:37:13 +0200233 return vcpu_sys_reg(vcpu, MPIDR_EL1) & MPIDR_HWID_BITMASK;
Marc Zyngier79c64882013-10-18 18:19:03 +0100234}
235
Marc Zyngierce94fe92013-11-05 14:12:15 +0000236static inline void kvm_vcpu_set_be(struct kvm_vcpu *vcpu)
237{
238 if (vcpu_mode_is_32bit(vcpu))
239 *vcpu_cpsr(vcpu) |= COMPAT_PSR_E_BIT;
240 else
241 vcpu_sys_reg(vcpu, SCTLR_EL1) |= (1 << 25);
242}
243
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000244static inline bool kvm_vcpu_is_be(struct kvm_vcpu *vcpu)
245{
246 if (vcpu_mode_is_32bit(vcpu))
247 return !!(*vcpu_cpsr(vcpu) & COMPAT_PSR_E_BIT);
248
249 return !!(vcpu_sys_reg(vcpu, SCTLR_EL1) & (1 << 25));
250}
251
252static inline unsigned long vcpu_data_guest_to_host(struct kvm_vcpu *vcpu,
253 unsigned long data,
254 unsigned int len)
255{
256 if (kvm_vcpu_is_be(vcpu)) {
257 switch (len) {
258 case 1:
259 return data & 0xff;
260 case 2:
261 return be16_to_cpu(data & 0xffff);
262 case 4:
263 return be32_to_cpu(data & 0xffffffff);
264 default:
265 return be64_to_cpu(data);
266 }
Victor Kamenskyb3007082014-06-12 09:30:08 -0700267 } else {
268 switch (len) {
269 case 1:
270 return data & 0xff;
271 case 2:
272 return le16_to_cpu(data & 0xffff);
273 case 4:
274 return le32_to_cpu(data & 0xffffffff);
275 default:
276 return le64_to_cpu(data);
277 }
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000278 }
279
280 return data; /* Leave LE untouched */
281}
282
283static inline unsigned long vcpu_data_host_to_guest(struct kvm_vcpu *vcpu,
284 unsigned long data,
285 unsigned int len)
286{
287 if (kvm_vcpu_is_be(vcpu)) {
288 switch (len) {
289 case 1:
290 return data & 0xff;
291 case 2:
292 return cpu_to_be16(data & 0xffff);
293 case 4:
294 return cpu_to_be32(data & 0xffffffff);
295 default:
296 return cpu_to_be64(data);
297 }
Victor Kamenskyb3007082014-06-12 09:30:08 -0700298 } else {
299 switch (len) {
300 case 1:
301 return data & 0xff;
302 case 2:
303 return cpu_to_le16(data & 0xffff);
304 case 4:
305 return cpu_to_le32(data & 0xffffffff);
306 default:
307 return cpu_to_le64(data);
308 }
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000309 }
310
311 return data; /* Leave LE untouched */
312}
313
Marc Zyngier83a49792012-12-10 13:27:52 +0000314#endif /* __ARM64_KVM_EMULATE_H__ */