2 * Fault injection for both 32 and 64bit guests.
4 * Copyright (C) 2012,2013 - ARM Ltd
5 * Author: Marc Zyngier <marc.zyngier@arm.com>
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>
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.
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.
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/>.
24 #include <linux/kvm_host.h>
25 #include <asm/kvm_emulate.h>
28 #define PSTATE_FAULT_BITS_64 (PSR_MODE_EL1h | PSR_A_BIT | PSR_F_BIT | \
29 PSR_I_BIT | PSR_D_BIT)
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
38 except_type_irq
= 0x80,
39 except_type_fiq
= 0x100,
40 except_type_serror
= 0x180,
43 static u64
get_except_vector(struct kvm_vcpu
*vcpu
, enum exception_type type
)
47 switch (*vcpu_cpsr(vcpu
) & (PSR_MODE_MASK
| PSR_MODE32_BIT
)) {
49 exc_offset
= CURRENT_EL_SP_EL0_VECTOR
;
52 exc_offset
= CURRENT_EL_SP_ELx_VECTOR
;
55 exc_offset
= LOWER_EL_AArch64_VECTOR
;
58 exc_offset
= LOWER_EL_AArch32_VECTOR
;
61 return vcpu_read_sys_reg(vcpu
, VBAR_EL1
) + exc_offset
+ type
;
64 static void inject_abt64(struct kvm_vcpu
*vcpu
, bool is_iabt
, unsigned long addr
)
66 unsigned long cpsr
= *vcpu_cpsr(vcpu
);
67 bool is_aarch32
= vcpu_mode_is_32bit(vcpu
);
70 vcpu_write_elr_el1(vcpu
, *vcpu_pc(vcpu
));
71 *vcpu_pc(vcpu
) = get_except_vector(vcpu
, except_type_sync
);
73 *vcpu_cpsr(vcpu
) = PSTATE_FAULT_BITS_64
;
74 vcpu_write_spsr(vcpu
, cpsr
);
76 vcpu_write_sys_reg(vcpu
, addr
, FAR_EL1
);
79 * Build an {i,d}abort, depending on the level and the
80 * instruction set. Report an external synchronous abort.
82 if (kvm_vcpu_trap_il_is32bit(vcpu
))
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.
89 if (is_aarch32
|| (cpsr
& PSR_MODE_MASK
) == PSR_MODE_EL0t
)
90 esr
|= (ESR_ELx_EC_IABT_LOW
<< ESR_ELx_EC_SHIFT
);
92 esr
|= (ESR_ELx_EC_IABT_CUR
<< ESR_ELx_EC_SHIFT
);
95 esr
|= ESR_ELx_EC_DABT_LOW
<< ESR_ELx_EC_SHIFT
;
97 vcpu_write_sys_reg(vcpu
, esr
| ESR_ELx_FSC_EXTABT
, ESR_EL1
);
100 static void inject_undef64(struct kvm_vcpu
*vcpu
)
102 unsigned long cpsr
= *vcpu_cpsr(vcpu
);
103 u32 esr
= (ESR_ELx_EC_UNKNOWN
<< ESR_ELx_EC_SHIFT
);
105 vcpu_write_elr_el1(vcpu
, *vcpu_pc(vcpu
));
106 *vcpu_pc(vcpu
) = get_except_vector(vcpu
, except_type_sync
);
108 *vcpu_cpsr(vcpu
) = PSTATE_FAULT_BITS_64
;
109 vcpu_write_spsr(vcpu
, cpsr
);
112 * Build an unknown exception, depending on the instruction
115 if (kvm_vcpu_trap_il_is32bit(vcpu
))
118 vcpu_write_sys_reg(vcpu
, esr
, ESR_EL1
);
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
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.
129 void kvm_inject_dabt(struct kvm_vcpu
*vcpu
, unsigned long addr
)
131 if (vcpu_el1_is_32bit(vcpu
))
132 kvm_inject_dabt32(vcpu
, addr
);
134 inject_abt64(vcpu
, false, addr
);
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
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.
145 void kvm_inject_pabt(struct kvm_vcpu
*vcpu
, unsigned long addr
)
147 if (vcpu_el1_is_32bit(vcpu
))
148 kvm_inject_pabt32(vcpu
, addr
);
150 inject_abt64(vcpu
, true, addr
);
154 * kvm_inject_undefined - inject an undefined instruction into the guest
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.
159 void kvm_inject_undefined(struct kvm_vcpu
*vcpu
)
161 if (vcpu_el1_is_32bit(vcpu
))
162 kvm_inject_undef32(vcpu
);
164 inject_undef64(vcpu
);
167 static void pend_guest_serror(struct kvm_vcpu
*vcpu
, u64 esr
)
169 vcpu_set_vsesr(vcpu
, esr
);
170 *vcpu_hcr(vcpu
) |= HCR_VSE
;
174 * kvm_inject_vabt - inject an async abort / SError into the guest
175 * @vcpu: The VCPU to receive the exception
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.
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.
185 void kvm_inject_vabt(struct kvm_vcpu
*vcpu
)
187 pend_guest_serror(vcpu
, ESR_ELx_ISV
);