blob: 5c56c0d2cef1864f0fc5a561025e6b216db3fb22 [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>
Mark Rutlandc6d01a92014-11-24 13:59:30 +000029#include <asm/kvm_asm.h>
Marc Zyngier83a49792012-12-10 13:27:52 +000030#include <asm/kvm_mmio.h>
31#include <asm/ptrace.h>
32
Marc Zyngierb5476312013-02-06 19:40:29 +000033unsigned long *vcpu_reg32(const struct kvm_vcpu *vcpu, u8 reg_num);
34unsigned long *vcpu_spsr32(const struct kvm_vcpu *vcpu);
35
Marc Zyngier27b190b2013-02-06 19:54:04 +000036bool kvm_condition_valid32(const struct kvm_vcpu *vcpu);
37void kvm_skip_instr32(struct kvm_vcpu *vcpu, bool is_wide_instr);
38
Marc Zyngier83a49792012-12-10 13:27:52 +000039void kvm_inject_undefined(struct kvm_vcpu *vcpu);
40void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr);
41void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr);
42
Christoffer Dallb856a592014-10-16 17:21:16 +020043static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu)
44{
45 vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS;
46}
47
Marc Zyngier83a49792012-12-10 13:27:52 +000048static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu)
49{
50 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pc;
51}
52
53static inline unsigned long *vcpu_elr_el1(const struct kvm_vcpu *vcpu)
54{
55 return (unsigned long *)&vcpu_gp_regs(vcpu)->elr_el1;
56}
57
58static inline unsigned long *vcpu_cpsr(const struct kvm_vcpu *vcpu)
59{
60 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pstate;
61}
62
63static inline bool vcpu_mode_is_32bit(const struct kvm_vcpu *vcpu)
64{
Marc Zyngierb5476312013-02-06 19:40:29 +000065 return !!(*vcpu_cpsr(vcpu) & PSR_MODE32_BIT);
Marc Zyngier83a49792012-12-10 13:27:52 +000066}
67
68static inline bool kvm_condition_valid(const struct kvm_vcpu *vcpu)
69{
Marc Zyngier27b190b2013-02-06 19:54:04 +000070 if (vcpu_mode_is_32bit(vcpu))
71 return kvm_condition_valid32(vcpu);
72
73 return true;
Marc Zyngier83a49792012-12-10 13:27:52 +000074}
75
76static inline void kvm_skip_instr(struct kvm_vcpu *vcpu, bool is_wide_instr)
77{
Marc Zyngier27b190b2013-02-06 19:54:04 +000078 if (vcpu_mode_is_32bit(vcpu))
79 kvm_skip_instr32(vcpu, is_wide_instr);
80 else
81 *vcpu_pc(vcpu) += 4;
Marc Zyngier83a49792012-12-10 13:27:52 +000082}
83
84static inline void vcpu_set_thumb(struct kvm_vcpu *vcpu)
85{
Marc Zyngierb5476312013-02-06 19:40:29 +000086 *vcpu_cpsr(vcpu) |= COMPAT_PSR_T_BIT;
Marc Zyngier83a49792012-12-10 13:27:52 +000087}
88
89static inline unsigned long *vcpu_reg(const struct kvm_vcpu *vcpu, u8 reg_num)
90{
Marc Zyngierb5476312013-02-06 19:40:29 +000091 if (vcpu_mode_is_32bit(vcpu))
92 return vcpu_reg32(vcpu, reg_num);
93
Marc Zyngier83a49792012-12-10 13:27:52 +000094 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.regs[reg_num];
95}
96
97/* Get vcpu SPSR for current mode */
98static inline unsigned long *vcpu_spsr(const struct kvm_vcpu *vcpu)
99{
Marc Zyngierb5476312013-02-06 19:40:29 +0000100 if (vcpu_mode_is_32bit(vcpu))
101 return vcpu_spsr32(vcpu);
102
Marc Zyngier83a49792012-12-10 13:27:52 +0000103 return (unsigned long *)&vcpu_gp_regs(vcpu)->spsr[KVM_SPSR_EL1];
104}
105
106static inline bool vcpu_mode_priv(const struct kvm_vcpu *vcpu)
107{
108 u32 mode = *vcpu_cpsr(vcpu) & PSR_MODE_MASK;
109
Marc Zyngierb5476312013-02-06 19:40:29 +0000110 if (vcpu_mode_is_32bit(vcpu))
111 return mode > COMPAT_PSR_MODE_USR;
112
Marc Zyngier83a49792012-12-10 13:27:52 +0000113 return mode != PSR_MODE_EL0t;
114}
115
116static inline u32 kvm_vcpu_get_hsr(const struct kvm_vcpu *vcpu)
117{
118 return vcpu->arch.fault.esr_el2;
119}
120
121static inline unsigned long kvm_vcpu_get_hfar(const struct kvm_vcpu *vcpu)
122{
123 return vcpu->arch.fault.far_el2;
124}
125
126static inline phys_addr_t kvm_vcpu_get_fault_ipa(const struct kvm_vcpu *vcpu)
127{
128 return ((phys_addr_t)vcpu->arch.fault.hpfar_el2 & HPFAR_MASK) << 8;
129}
130
131static inline bool kvm_vcpu_dabt_isvalid(const struct kvm_vcpu *vcpu)
132{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000133 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_ISV);
Marc Zyngier83a49792012-12-10 13:27:52 +0000134}
135
136static inline bool kvm_vcpu_dabt_iswrite(const struct kvm_vcpu *vcpu)
137{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000138 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_WNR);
Marc Zyngier83a49792012-12-10 13:27:52 +0000139}
140
141static inline bool kvm_vcpu_dabt_issext(const struct kvm_vcpu *vcpu)
142{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000143 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SSE);
Marc Zyngier83a49792012-12-10 13:27:52 +0000144}
145
146static inline int kvm_vcpu_dabt_get_rd(const struct kvm_vcpu *vcpu)
147{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000148 return (kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SRT_MASK) >> ESR_ELx_SRT_SHIFT;
Marc Zyngier83a49792012-12-10 13:27:52 +0000149}
150
151static inline bool kvm_vcpu_dabt_isextabt(const struct kvm_vcpu *vcpu)
152{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000153 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_EA);
Marc Zyngier83a49792012-12-10 13:27:52 +0000154}
155
156static inline bool kvm_vcpu_dabt_iss1tw(const struct kvm_vcpu *vcpu)
157{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000158 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_S1PTW);
Marc Zyngier83a49792012-12-10 13:27:52 +0000159}
160
161static inline int kvm_vcpu_dabt_get_as(const struct kvm_vcpu *vcpu)
162{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000163 return 1 << ((kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SAS) >> ESR_ELx_SAS_SHIFT);
Marc Zyngier83a49792012-12-10 13:27:52 +0000164}
165
166/* This one is not specific to Data Abort */
167static inline bool kvm_vcpu_trap_il_is32bit(const struct kvm_vcpu *vcpu)
168{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000169 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_IL);
Marc Zyngier83a49792012-12-10 13:27:52 +0000170}
171
172static inline u8 kvm_vcpu_trap_get_class(const struct kvm_vcpu *vcpu)
173{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000174 return kvm_vcpu_get_hsr(vcpu) >> ESR_ELx_EC_SHIFT;
Marc Zyngier83a49792012-12-10 13:27:52 +0000175}
176
177static inline bool kvm_vcpu_trap_is_iabt(const struct kvm_vcpu *vcpu)
178{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000179 return kvm_vcpu_trap_get_class(vcpu) == ESR_ELx_EC_IABT_LOW;
Marc Zyngier83a49792012-12-10 13:27:52 +0000180}
181
182static inline u8 kvm_vcpu_trap_get_fault(const struct kvm_vcpu *vcpu)
183{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000184 return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC;
Christoffer Dall0496daa52014-09-26 12:29:34 +0200185}
186
187static inline u8 kvm_vcpu_trap_get_fault_type(const struct kvm_vcpu *vcpu)
188{
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000189 return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC_TYPE;
Marc Zyngier83a49792012-12-10 13:27:52 +0000190}
191
Marc Zyngier79c64882013-10-18 18:19:03 +0100192static inline unsigned long kvm_vcpu_get_mpidr(struct kvm_vcpu *vcpu)
193{
194 return vcpu_sys_reg(vcpu, MPIDR_EL1);
195}
196
Marc Zyngierce94fe92013-11-05 14:12:15 +0000197static inline void kvm_vcpu_set_be(struct kvm_vcpu *vcpu)
198{
199 if (vcpu_mode_is_32bit(vcpu))
200 *vcpu_cpsr(vcpu) |= COMPAT_PSR_E_BIT;
201 else
202 vcpu_sys_reg(vcpu, SCTLR_EL1) |= (1 << 25);
203}
204
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000205static inline bool kvm_vcpu_is_be(struct kvm_vcpu *vcpu)
206{
207 if (vcpu_mode_is_32bit(vcpu))
208 return !!(*vcpu_cpsr(vcpu) & COMPAT_PSR_E_BIT);
209
210 return !!(vcpu_sys_reg(vcpu, SCTLR_EL1) & (1 << 25));
211}
212
213static inline unsigned long vcpu_data_guest_to_host(struct kvm_vcpu *vcpu,
214 unsigned long data,
215 unsigned int len)
216{
217 if (kvm_vcpu_is_be(vcpu)) {
218 switch (len) {
219 case 1:
220 return data & 0xff;
221 case 2:
222 return be16_to_cpu(data & 0xffff);
223 case 4:
224 return be32_to_cpu(data & 0xffffffff);
225 default:
226 return be64_to_cpu(data);
227 }
Victor Kamenskyb3007082014-06-12 09:30:08 -0700228 } else {
229 switch (len) {
230 case 1:
231 return data & 0xff;
232 case 2:
233 return le16_to_cpu(data & 0xffff);
234 case 4:
235 return le32_to_cpu(data & 0xffffffff);
236 default:
237 return le64_to_cpu(data);
238 }
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000239 }
240
241 return data; /* Leave LE untouched */
242}
243
244static inline unsigned long vcpu_data_host_to_guest(struct kvm_vcpu *vcpu,
245 unsigned long data,
246 unsigned int len)
247{
248 if (kvm_vcpu_is_be(vcpu)) {
249 switch (len) {
250 case 1:
251 return data & 0xff;
252 case 2:
253 return cpu_to_be16(data & 0xffff);
254 case 4:
255 return cpu_to_be32(data & 0xffffffff);
256 default:
257 return cpu_to_be64(data);
258 }
Victor Kamenskyb3007082014-06-12 09:30:08 -0700259 } else {
260 switch (len) {
261 case 1:
262 return data & 0xff;
263 case 2:
264 return cpu_to_le16(data & 0xffff);
265 case 4:
266 return cpu_to_le32(data & 0xffffffff);
267 default:
268 return cpu_to_le64(data);
269 }
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000270 }
271
272 return data; /* Leave LE untouched */
273}
274
Marc Zyngier83a49792012-12-10 13:27:52 +0000275#endif /* __ARM64_KVM_EMULATE_H__ */