Thomas Gleixner | caab277 | 2019-06-03 07:44:50 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (C) 2012,2013 - ARM Ltd |
| 4 | * Author: Marc Zyngier <marc.zyngier@arm.com> |
| 5 | * |
| 6 | * Derived from arch/arm/include/kvm_emulate.h |
| 7 | * Copyright (C) 2012 - Virtual Open Systems and Columbia University |
| 8 | * Author: Christoffer Dall <c.dall@virtualopensystems.com> |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 9 | */ |
| 10 | |
| 11 | #ifndef __ARM64_KVM_EMULATE_H__ |
| 12 | #define __ARM64_KVM_EMULATE_H__ |
| 13 | |
| 14 | #include <linux/kvm_host.h> |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 15 | |
Mark Rutland | bd7d95c | 2018-11-09 15:07:11 +0000 | [diff] [blame] | 16 | #include <asm/debug-monitors.h> |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 17 | #include <asm/esr.h> |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 18 | #include <asm/kvm_arm.h> |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 19 | #include <asm/kvm_hyp.h> |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 20 | #include <asm/ptrace.h> |
Andre Przywara | 4429fc6 | 2014-06-02 15:37:13 +0200 | [diff] [blame] | 21 | #include <asm/cputype.h> |
Marc Zyngier | 68908bf | 2015-01-29 15:47:55 +0000 | [diff] [blame] | 22 | #include <asm/virt.h> |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 23 | |
Marc Zyngier | b547631 | 2013-02-06 19:40:29 +0000 | [diff] [blame] | 24 | unsigned long *vcpu_reg32(const struct kvm_vcpu *vcpu, u8 reg_num); |
Christoffer Dall | a892819 | 2017-12-27 21:59:09 +0100 | [diff] [blame] | 25 | unsigned long vcpu_read_spsr32(const struct kvm_vcpu *vcpu); |
| 26 | void vcpu_write_spsr32(struct kvm_vcpu *vcpu, unsigned long v); |
Marc Zyngier | b547631 | 2013-02-06 19:40:29 +0000 | [diff] [blame] | 27 | |
Marc Zyngier | 27b190b | 2013-02-06 19:54:04 +0000 | [diff] [blame] | 28 | bool kvm_condition_valid32(const struct kvm_vcpu *vcpu); |
| 29 | void kvm_skip_instr32(struct kvm_vcpu *vcpu, bool is_wide_instr); |
| 30 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 31 | void kvm_inject_undefined(struct kvm_vcpu *vcpu); |
Marc Zyngier | 10cf339 | 2016-09-06 14:02:01 +0100 | [diff] [blame] | 32 | void kvm_inject_vabt(struct kvm_vcpu *vcpu); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 33 | void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr); |
| 34 | void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr); |
Marc Zyngier | 74a64a9 | 2017-10-29 02:18:09 +0000 | [diff] [blame] | 35 | void kvm_inject_undef32(struct kvm_vcpu *vcpu); |
| 36 | void kvm_inject_dabt32(struct kvm_vcpu *vcpu, unsigned long addr); |
| 37 | void kvm_inject_pabt32(struct kvm_vcpu *vcpu, unsigned long addr); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 38 | |
Christoffer Dall | e72341c | 2017-12-13 22:56:48 +0100 | [diff] [blame] | 39 | static inline bool vcpu_el1_is_32bit(struct kvm_vcpu *vcpu) |
| 40 | { |
| 41 | return !(vcpu->arch.hcr_el2 & HCR_RW); |
| 42 | } |
| 43 | |
Christoffer Dall | b856a59 | 2014-10-16 17:21:16 +0200 | [diff] [blame] | 44 | static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu) |
| 45 | { |
| 46 | vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS; |
Marc Zyngier | 68908bf | 2015-01-29 15:47:55 +0000 | [diff] [blame] | 47 | if (is_kernel_in_hyp_mode()) |
| 48 | vcpu->arch.hcr_el2 |= HCR_E2H; |
Dongjiu Geng | 558daf6 | 2018-01-15 19:39:06 +0000 | [diff] [blame] | 49 | if (cpus_have_const_cap(ARM64_HAS_RAS_EXTN)) { |
| 50 | /* route synchronous external abort exceptions to EL2 */ |
| 51 | vcpu->arch.hcr_el2 |= HCR_TEA; |
| 52 | /* trap error record accesses */ |
| 53 | vcpu->arch.hcr_el2 |= HCR_TERR; |
| 54 | } |
Christoffer Dall | 5c40130 | 2019-10-28 14:05:41 +0100 | [diff] [blame] | 55 | |
| 56 | if (cpus_have_const_cap(ARM64_HAS_STAGE2_FWB)) { |
Marc Zyngier | e48d53a | 2018-04-06 12:27:28 +0100 | [diff] [blame] | 57 | vcpu->arch.hcr_el2 |= HCR_FWB; |
Christoffer Dall | 5c40130 | 2019-10-28 14:05:41 +0100 | [diff] [blame] | 58 | } else { |
| 59 | /* |
| 60 | * For non-FWB CPUs, we trap VM ops (HCR_EL2.TVM) until M+C |
| 61 | * get set in SCTLR_EL1 such that we can detect when the guest |
| 62 | * MMU gets turned on and do the necessary cache maintenance |
| 63 | * then. |
| 64 | */ |
| 65 | vcpu->arch.hcr_el2 |= HCR_TVM; |
| 66 | } |
Dongjiu Geng | 558daf6 | 2018-01-15 19:39:06 +0000 | [diff] [blame] | 67 | |
Marc Zyngier | 801f677 | 2015-01-11 14:10:11 +0100 | [diff] [blame] | 68 | if (test_bit(KVM_ARM_VCPU_EL1_32BIT, vcpu->arch.features)) |
| 69 | vcpu->arch.hcr_el2 &= ~HCR_RW; |
Dave Martin | 005781b | 2017-12-01 15:19:40 +0000 | [diff] [blame] | 70 | |
| 71 | /* |
| 72 | * TID3: trap feature register accesses that we virtualise. |
| 73 | * For now this is conditional, since no AArch32 feature regs |
| 74 | * are currently virtualised. |
| 75 | */ |
Christoffer Dall | e72341c | 2017-12-13 22:56:48 +0100 | [diff] [blame] | 76 | if (!vcpu_el1_is_32bit(vcpu)) |
Dave Martin | 005781b | 2017-12-01 15:19:40 +0000 | [diff] [blame] | 77 | vcpu->arch.hcr_el2 |= HCR_TID3; |
Ard Biesheuvel | f7f2b15 | 2019-01-31 14:17:17 +0100 | [diff] [blame] | 78 | |
Ard Biesheuvel | 793acf8 | 2019-01-31 14:17:18 +0100 | [diff] [blame] | 79 | if (cpus_have_const_cap(ARM64_MISMATCHED_CACHE_TYPE) || |
| 80 | vcpu_el1_is_32bit(vcpu)) |
Ard Biesheuvel | f7f2b15 | 2019-01-31 14:17:17 +0100 | [diff] [blame] | 81 | vcpu->arch.hcr_el2 |= HCR_TID2; |
Christoffer Dall | b856a59 | 2014-10-16 17:21:16 +0200 | [diff] [blame] | 82 | } |
| 83 | |
Christoffer Dall | 3df59d8 | 2017-08-03 12:09:05 +0200 | [diff] [blame] | 84 | static inline unsigned long *vcpu_hcr(struct kvm_vcpu *vcpu) |
Marc Zyngier | 3c1e716 | 2014-12-19 16:05:31 +0000 | [diff] [blame] | 85 | { |
Christoffer Dall | 3df59d8 | 2017-08-03 12:09:05 +0200 | [diff] [blame] | 86 | return (unsigned long *)&vcpu->arch.hcr_el2; |
Marc Zyngier | 3c1e716 | 2014-12-19 16:05:31 +0000 | [diff] [blame] | 87 | } |
| 88 | |
Marc Zyngier | ef2e78d | 2019-11-07 16:04:12 +0000 | [diff] [blame] | 89 | static inline void vcpu_clear_wfx_traps(struct kvm_vcpu *vcpu) |
Marc Zyngier | de73708 | 2018-06-21 10:43:59 +0100 | [diff] [blame] | 90 | { |
| 91 | vcpu->arch.hcr_el2 &= ~HCR_TWE; |
Marc Zyngier | ef2e78d | 2019-11-07 16:04:12 +0000 | [diff] [blame] | 92 | if (atomic_read(&vcpu->arch.vgic_cpu.vgic_v3.its_vpe.vlpi_count)) |
| 93 | vcpu->arch.hcr_el2 &= ~HCR_TWI; |
| 94 | else |
| 95 | vcpu->arch.hcr_el2 |= HCR_TWI; |
Marc Zyngier | de73708 | 2018-06-21 10:43:59 +0100 | [diff] [blame] | 96 | } |
| 97 | |
Marc Zyngier | ef2e78d | 2019-11-07 16:04:12 +0000 | [diff] [blame] | 98 | static inline void vcpu_set_wfx_traps(struct kvm_vcpu *vcpu) |
Marc Zyngier | de73708 | 2018-06-21 10:43:59 +0100 | [diff] [blame] | 99 | { |
| 100 | vcpu->arch.hcr_el2 |= HCR_TWE; |
Marc Zyngier | ef2e78d | 2019-11-07 16:04:12 +0000 | [diff] [blame] | 101 | vcpu->arch.hcr_el2 |= HCR_TWI; |
Marc Zyngier | de73708 | 2018-06-21 10:43:59 +0100 | [diff] [blame] | 102 | } |
| 103 | |
Mark Rutland | 384b40c | 2019-04-23 10:12:35 +0530 | [diff] [blame] | 104 | static inline void vcpu_ptrauth_enable(struct kvm_vcpu *vcpu) |
| 105 | { |
| 106 | vcpu->arch.hcr_el2 |= (HCR_API | HCR_APK); |
| 107 | } |
| 108 | |
| 109 | static inline void vcpu_ptrauth_disable(struct kvm_vcpu *vcpu) |
| 110 | { |
| 111 | vcpu->arch.hcr_el2 &= ~(HCR_API | HCR_APK); |
| 112 | } |
| 113 | |
| 114 | static inline void vcpu_ptrauth_setup_lazy(struct kvm_vcpu *vcpu) |
| 115 | { |
| 116 | if (vcpu_has_ptrauth(vcpu)) |
| 117 | vcpu_ptrauth_disable(vcpu); |
| 118 | } |
| 119 | |
Dongjiu Geng | b7b27fa | 2018-07-19 16:24:22 +0100 | [diff] [blame] | 120 | static inline unsigned long vcpu_get_vsesr(struct kvm_vcpu *vcpu) |
| 121 | { |
| 122 | return vcpu->arch.vsesr_el2; |
| 123 | } |
| 124 | |
James Morse | 4715c14 | 2018-01-15 19:39:01 +0000 | [diff] [blame] | 125 | static inline void vcpu_set_vsesr(struct kvm_vcpu *vcpu, u64 vsesr) |
| 126 | { |
| 127 | vcpu->arch.vsesr_el2 = vsesr; |
| 128 | } |
| 129 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 130 | static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu) |
| 131 | { |
| 132 | return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pc; |
| 133 | } |
| 134 | |
Christoffer Dall | 6d4bd90 | 2017-12-27 20:51:04 +0100 | [diff] [blame] | 135 | static inline unsigned long *__vcpu_elr_el1(const struct kvm_vcpu *vcpu) |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 136 | { |
| 137 | return (unsigned long *)&vcpu_gp_regs(vcpu)->elr_el1; |
| 138 | } |
| 139 | |
Christoffer Dall | 6d4bd90 | 2017-12-27 20:51:04 +0100 | [diff] [blame] | 140 | static inline unsigned long vcpu_read_elr_el1(const struct kvm_vcpu *vcpu) |
| 141 | { |
| 142 | if (vcpu->arch.sysregs_loaded_on_cpu) |
Dave Martin | fdec2a9 | 2019-04-06 11:29:40 +0100 | [diff] [blame] | 143 | return read_sysreg_el1(SYS_ELR); |
Christoffer Dall | 6d4bd90 | 2017-12-27 20:51:04 +0100 | [diff] [blame] | 144 | else |
| 145 | return *__vcpu_elr_el1(vcpu); |
| 146 | } |
| 147 | |
| 148 | static inline void vcpu_write_elr_el1(const struct kvm_vcpu *vcpu, unsigned long v) |
| 149 | { |
| 150 | if (vcpu->arch.sysregs_loaded_on_cpu) |
Dave Martin | fdec2a9 | 2019-04-06 11:29:40 +0100 | [diff] [blame] | 151 | write_sysreg_el1(v, SYS_ELR); |
Christoffer Dall | 6d4bd90 | 2017-12-27 20:51:04 +0100 | [diff] [blame] | 152 | else |
| 153 | *__vcpu_elr_el1(vcpu) = v; |
| 154 | } |
| 155 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 156 | static inline unsigned long *vcpu_cpsr(const struct kvm_vcpu *vcpu) |
| 157 | { |
| 158 | return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pstate; |
| 159 | } |
| 160 | |
| 161 | static inline bool vcpu_mode_is_32bit(const struct kvm_vcpu *vcpu) |
| 162 | { |
Marc Zyngier | b547631 | 2013-02-06 19:40:29 +0000 | [diff] [blame] | 163 | return !!(*vcpu_cpsr(vcpu) & PSR_MODE32_BIT); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | static inline bool kvm_condition_valid(const struct kvm_vcpu *vcpu) |
| 167 | { |
Marc Zyngier | 27b190b | 2013-02-06 19:54:04 +0000 | [diff] [blame] | 168 | if (vcpu_mode_is_32bit(vcpu)) |
| 169 | return kvm_condition_valid32(vcpu); |
| 170 | |
| 171 | return true; |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 172 | } |
| 173 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 174 | static inline void vcpu_set_thumb(struct kvm_vcpu *vcpu) |
| 175 | { |
Mark Rutland | 256c096 | 2018-07-05 15:16:53 +0100 | [diff] [blame] | 176 | *vcpu_cpsr(vcpu) |= PSR_AA32_T_BIT; |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 177 | } |
| 178 | |
Marc Zyngier | c0f0963 | 2015-11-16 10:28:17 +0000 | [diff] [blame] | 179 | /* |
Pavel Fedin | f6be563 | 2015-12-04 15:03:14 +0300 | [diff] [blame] | 180 | * vcpu_get_reg and vcpu_set_reg should always be passed a register number |
| 181 | * coming from a read of ESR_EL2. Otherwise, it may give the wrong result on |
| 182 | * AArch32 with banked registers. |
Marc Zyngier | c0f0963 | 2015-11-16 10:28:17 +0000 | [diff] [blame] | 183 | */ |
Pavel Fedin | bc45a51 | 2015-12-04 15:03:11 +0300 | [diff] [blame] | 184 | static inline unsigned long vcpu_get_reg(const struct kvm_vcpu *vcpu, |
| 185 | u8 reg_num) |
| 186 | { |
| 187 | return (reg_num == 31) ? 0 : vcpu_gp_regs(vcpu)->regs.regs[reg_num]; |
| 188 | } |
| 189 | |
| 190 | static inline void vcpu_set_reg(struct kvm_vcpu *vcpu, u8 reg_num, |
| 191 | unsigned long val) |
| 192 | { |
| 193 | if (reg_num != 31) |
| 194 | vcpu_gp_regs(vcpu)->regs.regs[reg_num] = val; |
| 195 | } |
| 196 | |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 197 | static inline unsigned long vcpu_read_spsr(const struct kvm_vcpu *vcpu) |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 198 | { |
Christoffer Dall | a892819 | 2017-12-27 21:59:09 +0100 | [diff] [blame] | 199 | if (vcpu_mode_is_32bit(vcpu)) |
| 200 | return vcpu_read_spsr32(vcpu); |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 201 | |
| 202 | if (vcpu->arch.sysregs_loaded_on_cpu) |
Dave Martin | fdec2a9 | 2019-04-06 11:29:40 +0100 | [diff] [blame] | 203 | return read_sysreg_el1(SYS_SPSR); |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 204 | else |
Christoffer Dall | a892819 | 2017-12-27 21:59:09 +0100 | [diff] [blame] | 205 | return vcpu_gp_regs(vcpu)->spsr[KVM_SPSR_EL1]; |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 206 | } |
| 207 | |
Christoffer Dall | a892819 | 2017-12-27 21:59:09 +0100 | [diff] [blame] | 208 | static inline void vcpu_write_spsr(struct kvm_vcpu *vcpu, unsigned long v) |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 209 | { |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 210 | if (vcpu_mode_is_32bit(vcpu)) { |
Christoffer Dall | a892819 | 2017-12-27 21:59:09 +0100 | [diff] [blame] | 211 | vcpu_write_spsr32(vcpu, v); |
| 212 | return; |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 213 | } |
| 214 | |
| 215 | if (vcpu->arch.sysregs_loaded_on_cpu) |
Dave Martin | fdec2a9 | 2019-04-06 11:29:40 +0100 | [diff] [blame] | 216 | write_sysreg_el1(v, SYS_SPSR); |
Christoffer Dall | 00536ec | 2017-12-27 20:01:52 +0100 | [diff] [blame] | 217 | else |
Christoffer Dall | a892819 | 2017-12-27 21:59:09 +0100 | [diff] [blame] | 218 | vcpu_gp_regs(vcpu)->spsr[KVM_SPSR_EL1] = v; |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 219 | } |
| 220 | |
Mark Rutland | 1cfbb48 | 2020-01-08 13:43:24 +0000 | [diff] [blame] | 221 | /* |
| 222 | * The layout of SPSR for an AArch32 state is different when observed from an |
| 223 | * AArch64 SPSR_ELx or an AArch32 SPSR_*. This function generates the AArch32 |
| 224 | * view given an AArch64 view. |
| 225 | * |
| 226 | * In ARM DDI 0487E.a see: |
| 227 | * |
| 228 | * - The AArch64 view (SPSR_EL2) in section C5.2.18, page C5-426 |
| 229 | * - The AArch32 view (SPSR_abt) in section G8.2.126, page G8-6256 |
| 230 | * - The AArch32 view (SPSR_und) in section G8.2.132, page G8-6280 |
| 231 | * |
| 232 | * Which show the following differences: |
| 233 | * |
| 234 | * | Bit | AA64 | AA32 | Notes | |
| 235 | * +-----+------+------+-----------------------------| |
| 236 | * | 24 | DIT | J | J is RES0 in ARMv8 | |
| 237 | * | 21 | SS | DIT | SS doesn't exist in AArch32 | |
| 238 | * |
| 239 | * ... and all other bits are (currently) common. |
| 240 | */ |
| 241 | static inline unsigned long host_spsr_to_spsr32(unsigned long spsr) |
| 242 | { |
| 243 | const unsigned long overlap = BIT(24) | BIT(21); |
| 244 | unsigned long dit = !!(spsr & PSR_AA32_DIT_BIT); |
| 245 | |
| 246 | spsr &= ~overlap; |
| 247 | |
| 248 | spsr |= dit << 21; |
| 249 | |
| 250 | return spsr; |
| 251 | } |
| 252 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 253 | static inline bool vcpu_mode_priv(const struct kvm_vcpu *vcpu) |
| 254 | { |
Shannon Zhao | 9586a2e | 2016-01-13 17:16:39 +0800 | [diff] [blame] | 255 | u32 mode; |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 256 | |
Shannon Zhao | 9586a2e | 2016-01-13 17:16:39 +0800 | [diff] [blame] | 257 | if (vcpu_mode_is_32bit(vcpu)) { |
Mark Rutland | 256c096 | 2018-07-05 15:16:53 +0100 | [diff] [blame] | 258 | mode = *vcpu_cpsr(vcpu) & PSR_AA32_MODE_MASK; |
| 259 | return mode > PSR_AA32_MODE_USR; |
Shannon Zhao | 9586a2e | 2016-01-13 17:16:39 +0800 | [diff] [blame] | 260 | } |
| 261 | |
| 262 | mode = *vcpu_cpsr(vcpu) & PSR_MODE_MASK; |
Marc Zyngier | b547631 | 2013-02-06 19:40:29 +0000 | [diff] [blame] | 263 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 264 | return mode != PSR_MODE_EL0t; |
| 265 | } |
| 266 | |
| 267 | static inline u32 kvm_vcpu_get_hsr(const struct kvm_vcpu *vcpu) |
| 268 | { |
| 269 | return vcpu->arch.fault.esr_el2; |
| 270 | } |
| 271 | |
Marc Zyngier | 3e51d43 | 2016-09-06 09:28:41 +0100 | [diff] [blame] | 272 | static inline int kvm_vcpu_get_condition(const struct kvm_vcpu *vcpu) |
| 273 | { |
| 274 | u32 esr = kvm_vcpu_get_hsr(vcpu); |
| 275 | |
| 276 | if (esr & ESR_ELx_CV) |
| 277 | return (esr & ESR_ELx_COND_MASK) >> ESR_ELx_COND_SHIFT; |
| 278 | |
| 279 | return -1; |
| 280 | } |
| 281 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 282 | static inline unsigned long kvm_vcpu_get_hfar(const struct kvm_vcpu *vcpu) |
| 283 | { |
| 284 | return vcpu->arch.fault.far_el2; |
| 285 | } |
| 286 | |
| 287 | static inline phys_addr_t kvm_vcpu_get_fault_ipa(const struct kvm_vcpu *vcpu) |
| 288 | { |
| 289 | return ((phys_addr_t)vcpu->arch.fault.hpfar_el2 & HPFAR_MASK) << 8; |
| 290 | } |
| 291 | |
James Morse | 0067df4 | 2018-01-15 19:39:05 +0000 | [diff] [blame] | 292 | static inline u64 kvm_vcpu_get_disr(const struct kvm_vcpu *vcpu) |
| 293 | { |
| 294 | return vcpu->arch.fault.disr_el1; |
| 295 | } |
| 296 | |
Wei Huang | 0d97f884 | 2015-01-12 11:53:36 -0500 | [diff] [blame] | 297 | static inline u32 kvm_vcpu_hvc_get_imm(const struct kvm_vcpu *vcpu) |
| 298 | { |
Paolo Bonzini | 1c6007d | 2015-01-23 13:39:51 +0100 | [diff] [blame] | 299 | return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_xVC_IMM_MASK; |
Wei Huang | 0d97f884 | 2015-01-12 11:53:36 -0500 | [diff] [blame] | 300 | } |
| 301 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 302 | static inline bool kvm_vcpu_dabt_isvalid(const struct kvm_vcpu *vcpu) |
| 303 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 304 | return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_ISV); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 305 | } |
| 306 | |
Christoffer Dall | c726200 | 2019-10-11 13:07:05 +0200 | [diff] [blame] | 307 | static inline unsigned long kvm_vcpu_dabt_iss_nisv_sanitized(const struct kvm_vcpu *vcpu) |
| 308 | { |
| 309 | return kvm_vcpu_get_hsr(vcpu) & (ESR_ELx_CM | ESR_ELx_WNR | ESR_ELx_FSC); |
| 310 | } |
| 311 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 312 | static inline bool kvm_vcpu_dabt_issext(const struct kvm_vcpu *vcpu) |
| 313 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 314 | return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SSE); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 315 | } |
| 316 | |
Christoffer Dall | b6ae256 | 2019-12-12 20:50:55 +0100 | [diff] [blame] | 317 | static inline bool kvm_vcpu_dabt_issf(const struct kvm_vcpu *vcpu) |
| 318 | { |
| 319 | return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SF); |
| 320 | } |
| 321 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 322 | static inline int kvm_vcpu_dabt_get_rd(const struct kvm_vcpu *vcpu) |
| 323 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 324 | return (kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SRT_MASK) >> ESR_ELx_SRT_SHIFT; |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 325 | } |
| 326 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 327 | static inline bool kvm_vcpu_dabt_iss1tw(const struct kvm_vcpu *vcpu) |
| 328 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 329 | return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_S1PTW); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 330 | } |
| 331 | |
Will Deacon | 60e21a0 | 2016-09-29 12:37:01 +0100 | [diff] [blame] | 332 | static inline bool kvm_vcpu_dabt_iswrite(const struct kvm_vcpu *vcpu) |
| 333 | { |
| 334 | return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_WNR) || |
| 335 | kvm_vcpu_dabt_iss1tw(vcpu); /* AF/DBM update */ |
| 336 | } |
| 337 | |
Marc Zyngier | 57c841f | 2016-01-29 15:01:28 +0000 | [diff] [blame] | 338 | static inline bool kvm_vcpu_dabt_is_cm(const struct kvm_vcpu *vcpu) |
| 339 | { |
| 340 | return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_CM); |
| 341 | } |
| 342 | |
Marc Zyngier | 0e20f5e | 2019-12-13 13:25:25 +0000 | [diff] [blame] | 343 | static inline unsigned int kvm_vcpu_dabt_get_as(const struct kvm_vcpu *vcpu) |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 344 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 345 | return 1 << ((kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SAS) >> ESR_ELx_SAS_SHIFT); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 346 | } |
| 347 | |
| 348 | /* This one is not specific to Data Abort */ |
| 349 | static inline bool kvm_vcpu_trap_il_is32bit(const struct kvm_vcpu *vcpu) |
| 350 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 351 | return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_IL); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 352 | } |
| 353 | |
| 354 | static inline u8 kvm_vcpu_trap_get_class(const struct kvm_vcpu *vcpu) |
| 355 | { |
Mark Rutland | 561454e | 2016-05-31 12:33:02 +0100 | [diff] [blame] | 356 | return ESR_ELx_EC(kvm_vcpu_get_hsr(vcpu)); |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 357 | } |
| 358 | |
| 359 | static inline bool kvm_vcpu_trap_is_iabt(const struct kvm_vcpu *vcpu) |
| 360 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 361 | return kvm_vcpu_trap_get_class(vcpu) == ESR_ELx_EC_IABT_LOW; |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 362 | } |
| 363 | |
| 364 | static inline u8 kvm_vcpu_trap_get_fault(const struct kvm_vcpu *vcpu) |
| 365 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 366 | return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC; |
Christoffer Dall | 0496daa5 | 2014-09-26 12:29:34 +0200 | [diff] [blame] | 367 | } |
| 368 | |
| 369 | static inline u8 kvm_vcpu_trap_get_fault_type(const struct kvm_vcpu *vcpu) |
| 370 | { |
Mark Rutland | c6d01a9 | 2014-11-24 13:59:30 +0000 | [diff] [blame] | 371 | return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC_TYPE; |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 372 | } |
| 373 | |
James Morse | bb42892 | 2017-07-18 13:37:41 +0100 | [diff] [blame] | 374 | static inline bool kvm_vcpu_dabt_isextabt(const struct kvm_vcpu *vcpu) |
| 375 | { |
Dongjiu Geng | a2b8313 | 2017-10-30 14:05:18 +0800 | [diff] [blame] | 376 | switch (kvm_vcpu_trap_get_fault(vcpu)) { |
James Morse | bb42892 | 2017-07-18 13:37:41 +0100 | [diff] [blame] | 377 | case FSC_SEA: |
| 378 | case FSC_SEA_TTW0: |
| 379 | case FSC_SEA_TTW1: |
| 380 | case FSC_SEA_TTW2: |
| 381 | case FSC_SEA_TTW3: |
| 382 | case FSC_SECC: |
| 383 | case FSC_SECC_TTW0: |
| 384 | case FSC_SECC_TTW1: |
| 385 | case FSC_SECC_TTW2: |
| 386 | case FSC_SECC_TTW3: |
| 387 | return true; |
| 388 | default: |
| 389 | return false; |
| 390 | } |
| 391 | } |
| 392 | |
Marc Zyngier | c667186 | 2017-04-27 19:06:48 +0100 | [diff] [blame] | 393 | static inline int kvm_vcpu_sys_get_rt(struct kvm_vcpu *vcpu) |
| 394 | { |
| 395 | u32 esr = kvm_vcpu_get_hsr(vcpu); |
Anshuman Khandual | 1c83914 | 2018-09-20 09:36:19 +0530 | [diff] [blame] | 396 | return ESR_ELx_SYS64_ISS_RT(esr); |
Marc Zyngier | c667186 | 2017-04-27 19:06:48 +0100 | [diff] [blame] | 397 | } |
| 398 | |
Christoffer Dall | 64cf98f | 2016-05-01 22:29:58 +0200 | [diff] [blame] | 399 | static inline bool kvm_is_write_fault(struct kvm_vcpu *vcpu) |
| 400 | { |
| 401 | if (kvm_vcpu_trap_is_iabt(vcpu)) |
| 402 | return false; |
| 403 | |
| 404 | return kvm_vcpu_dabt_iswrite(vcpu); |
| 405 | } |
| 406 | |
Andre Przywara | 4429fc6 | 2014-06-02 15:37:13 +0200 | [diff] [blame] | 407 | static inline unsigned long kvm_vcpu_get_mpidr_aff(struct kvm_vcpu *vcpu) |
Marc Zyngier | 79c6488 | 2013-10-18 18:19:03 +0100 | [diff] [blame] | 408 | { |
Christoffer Dall | 8d404c4 | 2016-03-16 15:38:53 +0100 | [diff] [blame] | 409 | return vcpu_read_sys_reg(vcpu, MPIDR_EL1) & MPIDR_HWID_BITMASK; |
Marc Zyngier | 79c6488 | 2013-10-18 18:19:03 +0100 | [diff] [blame] | 410 | } |
| 411 | |
Andre Przywara | 99adb567 | 2019-05-03 15:27:49 +0100 | [diff] [blame] | 412 | static inline bool kvm_arm_get_vcpu_workaround_2_flag(struct kvm_vcpu *vcpu) |
| 413 | { |
| 414 | return vcpu->arch.workaround_flags & VCPU_WORKAROUND_2_FLAG; |
| 415 | } |
| 416 | |
| 417 | static inline void kvm_arm_set_vcpu_workaround_2_flag(struct kvm_vcpu *vcpu, |
| 418 | bool flag) |
| 419 | { |
| 420 | if (flag) |
| 421 | vcpu->arch.workaround_flags |= VCPU_WORKAROUND_2_FLAG; |
| 422 | else |
| 423 | vcpu->arch.workaround_flags &= ~VCPU_WORKAROUND_2_FLAG; |
| 424 | } |
| 425 | |
Marc Zyngier | ce94fe9 | 2013-11-05 14:12:15 +0000 | [diff] [blame] | 426 | static inline void kvm_vcpu_set_be(struct kvm_vcpu *vcpu) |
| 427 | { |
Christoffer Dall | 8d404c4 | 2016-03-16 15:38:53 +0100 | [diff] [blame] | 428 | if (vcpu_mode_is_32bit(vcpu)) { |
Mark Rutland | 256c096 | 2018-07-05 15:16:53 +0100 | [diff] [blame] | 429 | *vcpu_cpsr(vcpu) |= PSR_AA32_E_BIT; |
Christoffer Dall | 8d404c4 | 2016-03-16 15:38:53 +0100 | [diff] [blame] | 430 | } else { |
| 431 | u64 sctlr = vcpu_read_sys_reg(vcpu, SCTLR_EL1); |
| 432 | sctlr |= (1 << 25); |
James Morse | 1975fa5 | 2018-05-02 12:17:02 +0100 | [diff] [blame] | 433 | vcpu_write_sys_reg(vcpu, sctlr, SCTLR_EL1); |
Christoffer Dall | 8d404c4 | 2016-03-16 15:38:53 +0100 | [diff] [blame] | 434 | } |
Marc Zyngier | ce94fe9 | 2013-11-05 14:12:15 +0000 | [diff] [blame] | 435 | } |
| 436 | |
Marc Zyngier | 6d89d2d | 2013-02-12 12:40:22 +0000 | [diff] [blame] | 437 | static inline bool kvm_vcpu_is_be(struct kvm_vcpu *vcpu) |
| 438 | { |
| 439 | if (vcpu_mode_is_32bit(vcpu)) |
Mark Rutland | 256c096 | 2018-07-05 15:16:53 +0100 | [diff] [blame] | 440 | return !!(*vcpu_cpsr(vcpu) & PSR_AA32_E_BIT); |
Marc Zyngier | 6d89d2d | 2013-02-12 12:40:22 +0000 | [diff] [blame] | 441 | |
Christoffer Dall | 8d404c4 | 2016-03-16 15:38:53 +0100 | [diff] [blame] | 442 | return !!(vcpu_read_sys_reg(vcpu, SCTLR_EL1) & (1 << 25)); |
Marc Zyngier | 6d89d2d | 2013-02-12 12:40:22 +0000 | [diff] [blame] | 443 | } |
| 444 | |
| 445 | static inline unsigned long vcpu_data_guest_to_host(struct kvm_vcpu *vcpu, |
| 446 | unsigned long data, |
| 447 | unsigned int len) |
| 448 | { |
| 449 | if (kvm_vcpu_is_be(vcpu)) { |
| 450 | switch (len) { |
| 451 | case 1: |
| 452 | return data & 0xff; |
| 453 | case 2: |
| 454 | return be16_to_cpu(data & 0xffff); |
| 455 | case 4: |
| 456 | return be32_to_cpu(data & 0xffffffff); |
| 457 | default: |
| 458 | return be64_to_cpu(data); |
| 459 | } |
Victor Kamensky | b300708 | 2014-06-12 09:30:08 -0700 | [diff] [blame] | 460 | } else { |
| 461 | switch (len) { |
| 462 | case 1: |
| 463 | return data & 0xff; |
| 464 | case 2: |
| 465 | return le16_to_cpu(data & 0xffff); |
| 466 | case 4: |
| 467 | return le32_to_cpu(data & 0xffffffff); |
| 468 | default: |
| 469 | return le64_to_cpu(data); |
| 470 | } |
Marc Zyngier | 6d89d2d | 2013-02-12 12:40:22 +0000 | [diff] [blame] | 471 | } |
| 472 | |
| 473 | return data; /* Leave LE untouched */ |
| 474 | } |
| 475 | |
| 476 | static inline unsigned long vcpu_data_host_to_guest(struct kvm_vcpu *vcpu, |
| 477 | unsigned long data, |
| 478 | unsigned int len) |
| 479 | { |
| 480 | if (kvm_vcpu_is_be(vcpu)) { |
| 481 | switch (len) { |
| 482 | case 1: |
| 483 | return data & 0xff; |
| 484 | case 2: |
| 485 | return cpu_to_be16(data & 0xffff); |
| 486 | case 4: |
| 487 | return cpu_to_be32(data & 0xffffffff); |
| 488 | default: |
| 489 | return cpu_to_be64(data); |
| 490 | } |
Victor Kamensky | b300708 | 2014-06-12 09:30:08 -0700 | [diff] [blame] | 491 | } else { |
| 492 | switch (len) { |
| 493 | case 1: |
| 494 | return data & 0xff; |
| 495 | case 2: |
| 496 | return cpu_to_le16(data & 0xffff); |
| 497 | case 4: |
| 498 | return cpu_to_le32(data & 0xffffffff); |
| 499 | default: |
| 500 | return cpu_to_le64(data); |
| 501 | } |
Marc Zyngier | 6d89d2d | 2013-02-12 12:40:22 +0000 | [diff] [blame] | 502 | } |
| 503 | |
| 504 | return data; /* Leave LE untouched */ |
| 505 | } |
| 506 | |
Mark Rutland | bd7d95c | 2018-11-09 15:07:11 +0000 | [diff] [blame] | 507 | static inline void kvm_skip_instr(struct kvm_vcpu *vcpu, bool is_wide_instr) |
| 508 | { |
| 509 | if (vcpu_mode_is_32bit(vcpu)) |
| 510 | kvm_skip_instr32(vcpu, is_wide_instr); |
| 511 | else |
| 512 | *vcpu_pc(vcpu) += 4; |
| 513 | |
| 514 | /* advance the singlestep state machine */ |
| 515 | *vcpu_cpsr(vcpu) &= ~DBG_SPSR_SS; |
| 516 | } |
| 517 | |
| 518 | /* |
| 519 | * Skip an instruction which has been emulated at hyp while most guest sysregs |
| 520 | * are live. |
| 521 | */ |
| 522 | static inline void __hyp_text __kvm_skip_instr(struct kvm_vcpu *vcpu) |
| 523 | { |
Dave Martin | fdec2a9 | 2019-04-06 11:29:40 +0100 | [diff] [blame] | 524 | *vcpu_pc(vcpu) = read_sysreg_el2(SYS_ELR); |
| 525 | vcpu->arch.ctxt.gp_regs.regs.pstate = read_sysreg_el2(SYS_SPSR); |
Mark Rutland | bd7d95c | 2018-11-09 15:07:11 +0000 | [diff] [blame] | 526 | |
| 527 | kvm_skip_instr(vcpu, kvm_vcpu_trap_il_is32bit(vcpu)); |
| 528 | |
Dave Martin | fdec2a9 | 2019-04-06 11:29:40 +0100 | [diff] [blame] | 529 | write_sysreg_el2(vcpu->arch.ctxt.gp_regs.regs.pstate, SYS_SPSR); |
| 530 | write_sysreg_el2(*vcpu_pc(vcpu), SYS_ELR); |
Mark Rutland | bd7d95c | 2018-11-09 15:07:11 +0000 | [diff] [blame] | 531 | } |
| 532 | |
Marc Zyngier | 83a4979 | 2012-12-10 13:27:52 +0000 | [diff] [blame] | 533 | #endif /* __ARM64_KVM_EMULATE_H__ */ |