blob: d8e71659ba7e1bed0d7d21c94ff0931188b8118d [file] [log] [blame]
Marc Zyngieraa8eff92012-12-17 12:27:42 +00001/*
Marc Zyngiere82e0302013-02-06 11:29:35 +00002 * Fault injection for both 32 and 64bit guests.
Marc Zyngieraa8eff92012-12-17 12:27:42 +00003 *
4 * Copyright (C) 2012,2013 - ARM Ltd
5 * Author: Marc Zyngier <marc.zyngier@arm.com>
6 *
7 * Based on arch/arm/kvm/emulate.c
8 * Copyright (C) 2012 - Virtual Open Systems and Columbia University
9 * Author: Christoffer Dall <c.dall@virtualopensystems.com>
10 *
11 * This program is free software: you can redistribute it and/or modify
12 * it under the terms of the GNU General Public License version 2 as
13 * published by the Free Software Foundation.
14 *
15 * This program is distributed in the hope that it will be useful,
16 * but WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 * GNU General Public License for more details.
19 *
20 * You should have received a copy of the GNU General Public License
21 * along with this program. If not, see <http://www.gnu.org/licenses/>.
22 */
23
24#include <linux/kvm_host.h>
25#include <asm/kvm_emulate.h>
26#include <asm/esr.h>
27
28#define PSTATE_FAULT_BITS_64 (PSR_MODE_EL1h | PSR_A_BIT | PSR_F_BIT | \
29 PSR_I_BIT | PSR_D_BIT)
Marc Zyngier8fc153c2016-01-06 18:29:19 +000030
31#define CURRENT_EL_SP_EL0_VECTOR 0x0
32#define CURRENT_EL_SP_ELx_VECTOR 0x200
33#define LOWER_EL_AArch64_VECTOR 0x400
34#define LOWER_EL_AArch32_VECTOR 0x600
Marc Zyngieraa8eff92012-12-17 12:27:42 +000035
Marc Zyngier8fc153c2016-01-06 18:29:19 +000036enum exception_type {
37 except_type_sync = 0,
38 except_type_irq = 0x80,
39 except_type_fiq = 0x100,
40 except_type_serror = 0x180,
41};
42
43static u64 get_except_vector(struct kvm_vcpu *vcpu, enum exception_type type)
44{
45 u64 exc_offset;
46
47 switch (*vcpu_cpsr(vcpu) & (PSR_MODE_MASK | PSR_MODE32_BIT)) {
48 case PSR_MODE_EL1t:
49 exc_offset = CURRENT_EL_SP_EL0_VECTOR;
50 break;
51 case PSR_MODE_EL1h:
52 exc_offset = CURRENT_EL_SP_ELx_VECTOR;
53 break;
54 case PSR_MODE_EL0t:
55 exc_offset = LOWER_EL_AArch64_VECTOR;
56 break;
57 default:
58 exc_offset = LOWER_EL_AArch32_VECTOR;
59 }
60
Christoffer Dall8d404c42016-03-16 15:38:53 +010061 return vcpu_read_sys_reg(vcpu, VBAR_EL1) + exc_offset + type;
Marc Zyngier8fc153c2016-01-06 18:29:19 +000062}
63
Marc Zyngieraa8eff92012-12-17 12:27:42 +000064static void inject_abt64(struct kvm_vcpu *vcpu, bool is_iabt, unsigned long addr)
65{
66 unsigned long cpsr = *vcpu_cpsr(vcpu);
Andrew Jones89581f02016-07-22 10:38:46 -040067 bool is_aarch32 = vcpu_mode_is_32bit(vcpu);
Marc Zyngieraa8eff92012-12-17 12:27:42 +000068 u32 esr = 0;
69
Christoffer Dall6d4bd902017-12-27 20:51:04 +010070 vcpu_write_elr_el1(vcpu, *vcpu_pc(vcpu));
Marc Zyngier8fc153c2016-01-06 18:29:19 +000071 *vcpu_pc(vcpu) = get_except_vector(vcpu, except_type_sync);
Andrew Jones89581f02016-07-22 10:38:46 -040072
Marc Zyngieraa8eff92012-12-17 12:27:42 +000073 *vcpu_cpsr(vcpu) = PSTATE_FAULT_BITS_64;
Christoffer Dall00536ec2017-12-27 20:01:52 +010074 vcpu_write_spsr(vcpu, cpsr);
Marc Zyngieraa8eff92012-12-17 12:27:42 +000075
Christoffer Dall8d404c42016-03-16 15:38:53 +010076 vcpu_write_sys_reg(vcpu, addr, FAR_EL1);
Marc Zyngieraa8eff92012-12-17 12:27:42 +000077
78 /*
79 * Build an {i,d}abort, depending on the level and the
80 * instruction set. Report an external synchronous abort.
81 */
82 if (kvm_vcpu_trap_il_is32bit(vcpu))
Mark Rutlandc6d01a92014-11-24 13:59:30 +000083 esr |= ESR_ELx_IL;
Marc Zyngieraa8eff92012-12-17 12:27:42 +000084
85 /*
86 * Here, the guest runs in AArch64 mode when in EL1. If we get
87 * an AArch32 fault, it means we managed to trap an EL0 fault.
88 */
89 if (is_aarch32 || (cpsr & PSR_MODE_MASK) == PSR_MODE_EL0t)
Mark Rutlandc6d01a92014-11-24 13:59:30 +000090 esr |= (ESR_ELx_EC_IABT_LOW << ESR_ELx_EC_SHIFT);
Marc Zyngieraa8eff92012-12-17 12:27:42 +000091 else
Mark Rutlandc6d01a92014-11-24 13:59:30 +000092 esr |= (ESR_ELx_EC_IABT_CUR << ESR_ELx_EC_SHIFT);
Marc Zyngieraa8eff92012-12-17 12:27:42 +000093
94 if (!is_iabt)
Matt Evanse4fe9e72016-05-16 13:54:56 +010095 esr |= ESR_ELx_EC_DABT_LOW << ESR_ELx_EC_SHIFT;
Marc Zyngieraa8eff92012-12-17 12:27:42 +000096
Christoffer Dall8d404c42016-03-16 15:38:53 +010097 vcpu_write_sys_reg(vcpu, esr | ESR_ELx_FSC_EXTABT, ESR_EL1);
Marc Zyngieraa8eff92012-12-17 12:27:42 +000098}
99
100static void inject_undef64(struct kvm_vcpu *vcpu)
101{
102 unsigned long cpsr = *vcpu_cpsr(vcpu);
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000103 u32 esr = (ESR_ELx_EC_UNKNOWN << ESR_ELx_EC_SHIFT);
Marc Zyngieraa8eff92012-12-17 12:27:42 +0000104
Christoffer Dall6d4bd902017-12-27 20:51:04 +0100105 vcpu_write_elr_el1(vcpu, *vcpu_pc(vcpu));
Marc Zyngier8fc153c2016-01-06 18:29:19 +0000106 *vcpu_pc(vcpu) = get_except_vector(vcpu, except_type_sync);
Andrew Jones89581f02016-07-22 10:38:46 -0400107
Marc Zyngieraa8eff92012-12-17 12:27:42 +0000108 *vcpu_cpsr(vcpu) = PSTATE_FAULT_BITS_64;
Christoffer Dall00536ec2017-12-27 20:01:52 +0100109 vcpu_write_spsr(vcpu, cpsr);
Marc Zyngieraa8eff92012-12-17 12:27:42 +0000110
111 /*
112 * Build an unknown exception, depending on the instruction
113 * set.
114 */
115 if (kvm_vcpu_trap_il_is32bit(vcpu))
Mark Rutlandc6d01a92014-11-24 13:59:30 +0000116 esr |= ESR_ELx_IL;
Marc Zyngieraa8eff92012-12-17 12:27:42 +0000117
Christoffer Dall8d404c42016-03-16 15:38:53 +0100118 vcpu_write_sys_reg(vcpu, esr, ESR_EL1);
Marc Zyngieraa8eff92012-12-17 12:27:42 +0000119}
120
121/**
122 * kvm_inject_dabt - inject a data abort into the guest
123 * @vcpu: The VCPU to receive the undefined exception
124 * @addr: The address to report in the DFAR
125 *
126 * It is assumed that this code is called from the VCPU thread and that the
127 * VCPU therefore is not currently executing guest code.
128 */
129void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr)
130{
Christoffer Dalle72341c2017-12-13 22:56:48 +0100131 if (vcpu_el1_is_32bit(vcpu))
Marc Zyngier74a64a92017-10-29 02:18:09 +0000132 kvm_inject_dabt32(vcpu, addr);
Marc Zyngier126c69a2015-08-27 16:10:01 +0100133 else
134 inject_abt64(vcpu, false, addr);
Marc Zyngieraa8eff92012-12-17 12:27:42 +0000135}
136
137/**
138 * kvm_inject_pabt - inject a prefetch abort into the guest
139 * @vcpu: The VCPU to receive the undefined exception
140 * @addr: The address to report in the DFAR
141 *
142 * It is assumed that this code is called from the VCPU thread and that the
143 * VCPU therefore is not currently executing guest code.
144 */
145void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr)
146{
Christoffer Dalle72341c2017-12-13 22:56:48 +0100147 if (vcpu_el1_is_32bit(vcpu))
Marc Zyngier74a64a92017-10-29 02:18:09 +0000148 kvm_inject_pabt32(vcpu, addr);
Marc Zyngier126c69a2015-08-27 16:10:01 +0100149 else
150 inject_abt64(vcpu, true, addr);
Marc Zyngieraa8eff92012-12-17 12:27:42 +0000151}
152
153/**
154 * kvm_inject_undefined - inject an undefined instruction into the guest
155 *
156 * It is assumed that this code is called from the VCPU thread and that the
157 * VCPU therefore is not currently executing guest code.
158 */
159void kvm_inject_undefined(struct kvm_vcpu *vcpu)
160{
Christoffer Dalle72341c2017-12-13 22:56:48 +0100161 if (vcpu_el1_is_32bit(vcpu))
Marc Zyngier74a64a92017-10-29 02:18:09 +0000162 kvm_inject_undef32(vcpu);
Marc Zyngier126c69a2015-08-27 16:10:01 +0100163 else
164 inject_undef64(vcpu);
Marc Zyngieraa8eff92012-12-17 12:27:42 +0000165}
Marc Zyngier10cf3392016-09-06 14:02:01 +0100166
James Morse4715c142018-01-15 19:39:01 +0000167static void pend_guest_serror(struct kvm_vcpu *vcpu, u64 esr)
168{
169 vcpu_set_vsesr(vcpu, esr);
Christoffer Dall3df59d82017-08-03 12:09:05 +0200170 *vcpu_hcr(vcpu) |= HCR_VSE;
James Morse4715c142018-01-15 19:39:01 +0000171}
172
Marc Zyngier10cf3392016-09-06 14:02:01 +0100173/**
174 * kvm_inject_vabt - inject an async abort / SError into the guest
175 * @vcpu: The VCPU to receive the exception
176 *
177 * It is assumed that this code is called from the VCPU thread and that the
178 * VCPU therefore is not currently executing guest code.
James Morse4715c142018-01-15 19:39:01 +0000179 *
180 * Systems with the RAS Extensions specify an imp-def ESR (ISV/IDS = 1) with
181 * the remaining ISS all-zeros so that this error is not interpreted as an
182 * uncategorized RAS error. Without the RAS Extensions we can't specify an ESR
183 * value, so the CPU generates an imp-def value.
Marc Zyngier10cf3392016-09-06 14:02:01 +0100184 */
185void kvm_inject_vabt(struct kvm_vcpu *vcpu)
186{
James Morse4715c142018-01-15 19:39:01 +0000187 pend_guest_serror(vcpu, ESR_ELx_ISV);
Marc Zyngier10cf3392016-09-06 14:02:01 +0100188}