blob: a6fa2d2cd41c946bf0142b3c30ccb8ba91049ebf [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>
26#include <asm/kvm_asm.h>
27#include <asm/kvm_arm.h>
28#include <asm/kvm_mmio.h>
29#include <asm/ptrace.h>
30
Marc Zyngierb5476312013-02-06 19:40:29 +000031unsigned long *vcpu_reg32(const struct kvm_vcpu *vcpu, u8 reg_num);
32unsigned long *vcpu_spsr32(const struct kvm_vcpu *vcpu);
33
Marc Zyngier27b190b2013-02-06 19:54:04 +000034bool kvm_condition_valid32(const struct kvm_vcpu *vcpu);
35void kvm_skip_instr32(struct kvm_vcpu *vcpu, bool is_wide_instr);
36
Marc Zyngier83a49792012-12-10 13:27:52 +000037void kvm_inject_undefined(struct kvm_vcpu *vcpu);
38void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr);
39void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr);
40
Christoffer Dallb856a592014-10-16 17:21:16 +020041static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu)
42{
43 vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS;
44}
45
Marc Zyngier83a49792012-12-10 13:27:52 +000046static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu)
47{
48 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pc;
49}
50
51static inline unsigned long *vcpu_elr_el1(const struct kvm_vcpu *vcpu)
52{
53 return (unsigned long *)&vcpu_gp_regs(vcpu)->elr_el1;
54}
55
56static inline unsigned long *vcpu_cpsr(const struct kvm_vcpu *vcpu)
57{
58 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pstate;
59}
60
61static inline bool vcpu_mode_is_32bit(const struct kvm_vcpu *vcpu)
62{
Marc Zyngierb5476312013-02-06 19:40:29 +000063 return !!(*vcpu_cpsr(vcpu) & PSR_MODE32_BIT);
Marc Zyngier83a49792012-12-10 13:27:52 +000064}
65
66static inline bool kvm_condition_valid(const struct kvm_vcpu *vcpu)
67{
Marc Zyngier27b190b2013-02-06 19:54:04 +000068 if (vcpu_mode_is_32bit(vcpu))
69 return kvm_condition_valid32(vcpu);
70
71 return true;
Marc Zyngier83a49792012-12-10 13:27:52 +000072}
73
74static inline void kvm_skip_instr(struct kvm_vcpu *vcpu, bool is_wide_instr)
75{
Marc Zyngier27b190b2013-02-06 19:54:04 +000076 if (vcpu_mode_is_32bit(vcpu))
77 kvm_skip_instr32(vcpu, is_wide_instr);
78 else
79 *vcpu_pc(vcpu) += 4;
Marc Zyngier83a49792012-12-10 13:27:52 +000080}
81
82static inline void vcpu_set_thumb(struct kvm_vcpu *vcpu)
83{
Marc Zyngierb5476312013-02-06 19:40:29 +000084 *vcpu_cpsr(vcpu) |= COMPAT_PSR_T_BIT;
Marc Zyngier83a49792012-12-10 13:27:52 +000085}
86
87static inline unsigned long *vcpu_reg(const struct kvm_vcpu *vcpu, u8 reg_num)
88{
Marc Zyngierb5476312013-02-06 19:40:29 +000089 if (vcpu_mode_is_32bit(vcpu))
90 return vcpu_reg32(vcpu, reg_num);
91
Marc Zyngier83a49792012-12-10 13:27:52 +000092 return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.regs[reg_num];
93}
94
95/* Get vcpu SPSR for current mode */
96static inline unsigned long *vcpu_spsr(const struct kvm_vcpu *vcpu)
97{
Marc Zyngierb5476312013-02-06 19:40:29 +000098 if (vcpu_mode_is_32bit(vcpu))
99 return vcpu_spsr32(vcpu);
100
Marc Zyngier83a49792012-12-10 13:27:52 +0000101 return (unsigned long *)&vcpu_gp_regs(vcpu)->spsr[KVM_SPSR_EL1];
102}
103
104static inline bool vcpu_mode_priv(const struct kvm_vcpu *vcpu)
105{
106 u32 mode = *vcpu_cpsr(vcpu) & PSR_MODE_MASK;
107
Marc Zyngierb5476312013-02-06 19:40:29 +0000108 if (vcpu_mode_is_32bit(vcpu))
109 return mode > COMPAT_PSR_MODE_USR;
110
Marc Zyngier83a49792012-12-10 13:27:52 +0000111 return mode != PSR_MODE_EL0t;
112}
113
114static inline u32 kvm_vcpu_get_hsr(const struct kvm_vcpu *vcpu)
115{
116 return vcpu->arch.fault.esr_el2;
117}
118
119static inline unsigned long kvm_vcpu_get_hfar(const struct kvm_vcpu *vcpu)
120{
121 return vcpu->arch.fault.far_el2;
122}
123
124static inline phys_addr_t kvm_vcpu_get_fault_ipa(const struct kvm_vcpu *vcpu)
125{
126 return ((phys_addr_t)vcpu->arch.fault.hpfar_el2 & HPFAR_MASK) << 8;
127}
128
Wei Huang0d97f8842015-01-12 11:53:36 -0500129static inline u32 kvm_vcpu_hvc_get_imm(const struct kvm_vcpu *vcpu)
130{
131 return kvm_vcpu_get_hsr(vcpu) & ESR_EL2_HVC_IMM_MASK;
132}
133
Marc Zyngier83a49792012-12-10 13:27:52 +0000134static inline bool kvm_vcpu_dabt_isvalid(const struct kvm_vcpu *vcpu)
135{
136 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_EL2_ISV);
137}
138
139static inline bool kvm_vcpu_dabt_iswrite(const struct kvm_vcpu *vcpu)
140{
141 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_EL2_WNR);
142}
143
144static inline bool kvm_vcpu_dabt_issext(const struct kvm_vcpu *vcpu)
145{
146 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_EL2_SSE);
147}
148
149static inline int kvm_vcpu_dabt_get_rd(const struct kvm_vcpu *vcpu)
150{
151 return (kvm_vcpu_get_hsr(vcpu) & ESR_EL2_SRT_MASK) >> ESR_EL2_SRT_SHIFT;
152}
153
154static inline bool kvm_vcpu_dabt_isextabt(const struct kvm_vcpu *vcpu)
155{
156 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_EL2_EA);
157}
158
159static inline bool kvm_vcpu_dabt_iss1tw(const struct kvm_vcpu *vcpu)
160{
161 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_EL2_S1PTW);
162}
163
164static inline int kvm_vcpu_dabt_get_as(const struct kvm_vcpu *vcpu)
165{
166 return 1 << ((kvm_vcpu_get_hsr(vcpu) & ESR_EL2_SAS) >> ESR_EL2_SAS_SHIFT);
167}
168
169/* This one is not specific to Data Abort */
170static inline bool kvm_vcpu_trap_il_is32bit(const struct kvm_vcpu *vcpu)
171{
172 return !!(kvm_vcpu_get_hsr(vcpu) & ESR_EL2_IL);
173}
174
175static inline u8 kvm_vcpu_trap_get_class(const struct kvm_vcpu *vcpu)
176{
177 return kvm_vcpu_get_hsr(vcpu) >> ESR_EL2_EC_SHIFT;
178}
179
180static inline bool kvm_vcpu_trap_is_iabt(const struct kvm_vcpu *vcpu)
181{
182 return kvm_vcpu_trap_get_class(vcpu) == ESR_EL2_EC_IABT;
183}
184
185static inline u8 kvm_vcpu_trap_get_fault(const struct kvm_vcpu *vcpu)
186{
Christoffer Dall0496daa52014-09-26 12:29:34 +0200187 return kvm_vcpu_get_hsr(vcpu) & ESR_EL2_FSC;
188}
189
190static inline u8 kvm_vcpu_trap_get_fault_type(const struct kvm_vcpu *vcpu)
191{
Marc Zyngier83a49792012-12-10 13:27:52 +0000192 return kvm_vcpu_get_hsr(vcpu) & ESR_EL2_FSC_TYPE;
193}
194
Marc Zyngier79c64882013-10-18 18:19:03 +0100195static inline unsigned long kvm_vcpu_get_mpidr(struct kvm_vcpu *vcpu)
196{
197 return vcpu_sys_reg(vcpu, MPIDR_EL1);
198}
199
Marc Zyngierce94fe92013-11-05 14:12:15 +0000200static inline void kvm_vcpu_set_be(struct kvm_vcpu *vcpu)
201{
202 if (vcpu_mode_is_32bit(vcpu))
203 *vcpu_cpsr(vcpu) |= COMPAT_PSR_E_BIT;
204 else
205 vcpu_sys_reg(vcpu, SCTLR_EL1) |= (1 << 25);
206}
207
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000208static inline bool kvm_vcpu_is_be(struct kvm_vcpu *vcpu)
209{
210 if (vcpu_mode_is_32bit(vcpu))
211 return !!(*vcpu_cpsr(vcpu) & COMPAT_PSR_E_BIT);
212
213 return !!(vcpu_sys_reg(vcpu, SCTLR_EL1) & (1 << 25));
214}
215
216static inline unsigned long vcpu_data_guest_to_host(struct kvm_vcpu *vcpu,
217 unsigned long data,
218 unsigned int len)
219{
220 if (kvm_vcpu_is_be(vcpu)) {
221 switch (len) {
222 case 1:
223 return data & 0xff;
224 case 2:
225 return be16_to_cpu(data & 0xffff);
226 case 4:
227 return be32_to_cpu(data & 0xffffffff);
228 default:
229 return be64_to_cpu(data);
230 }
Victor Kamenskyb3007082014-06-12 09:30:08 -0700231 } else {
232 switch (len) {
233 case 1:
234 return data & 0xff;
235 case 2:
236 return le16_to_cpu(data & 0xffff);
237 case 4:
238 return le32_to_cpu(data & 0xffffffff);
239 default:
240 return le64_to_cpu(data);
241 }
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000242 }
243
244 return data; /* Leave LE untouched */
245}
246
247static inline unsigned long vcpu_data_host_to_guest(struct kvm_vcpu *vcpu,
248 unsigned long data,
249 unsigned int len)
250{
251 if (kvm_vcpu_is_be(vcpu)) {
252 switch (len) {
253 case 1:
254 return data & 0xff;
255 case 2:
256 return cpu_to_be16(data & 0xffff);
257 case 4:
258 return cpu_to_be32(data & 0xffffffff);
259 default:
260 return cpu_to_be64(data);
261 }
Victor Kamenskyb3007082014-06-12 09:30:08 -0700262 } else {
263 switch (len) {
264 case 1:
265 return data & 0xff;
266 case 2:
267 return cpu_to_le16(data & 0xffff);
268 case 4:
269 return cpu_to_le32(data & 0xffffffff);
270 default:
271 return cpu_to_le64(data);
272 }
Marc Zyngier6d89d2d2013-02-12 12:40:22 +0000273 }
274
275 return data; /* Leave LE untouched */
276}
277
Marc Zyngier83a49792012-12-10 13:27:52 +0000278#endif /* __ARM64_KVM_EMULATE_H__ */