183a49794SMarc Zyngier /* 283a49794SMarc Zyngier * Copyright (C) 2012,2013 - ARM Ltd 383a49794SMarc Zyngier * Author: Marc Zyngier <marc.zyngier@arm.com> 483a49794SMarc Zyngier * 583a49794SMarc Zyngier * Derived from arch/arm/include/kvm_emulate.h 683a49794SMarc Zyngier * Copyright (C) 2012 - Virtual Open Systems and Columbia University 783a49794SMarc Zyngier * Author: Christoffer Dall <c.dall@virtualopensystems.com> 883a49794SMarc Zyngier * 983a49794SMarc Zyngier * This program is free software; you can redistribute it and/or modify 1083a49794SMarc Zyngier * it under the terms of the GNU General Public License version 2 as 1183a49794SMarc Zyngier * published by the Free Software Foundation. 1283a49794SMarc Zyngier * 1383a49794SMarc Zyngier * This program is distributed in the hope that it will be useful, 1483a49794SMarc Zyngier * but WITHOUT ANY WARRANTY; without even the implied warranty of 1583a49794SMarc Zyngier * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 1683a49794SMarc Zyngier * GNU General Public License for more details. 1783a49794SMarc Zyngier * 1883a49794SMarc Zyngier * You should have received a copy of the GNU General Public License 1983a49794SMarc Zyngier * along with this program. If not, see <http://www.gnu.org/licenses/>. 2083a49794SMarc Zyngier */ 2183a49794SMarc Zyngier 2283a49794SMarc Zyngier #ifndef __ARM64_KVM_EMULATE_H__ 2383a49794SMarc Zyngier #define __ARM64_KVM_EMULATE_H__ 2483a49794SMarc Zyngier 2583a49794SMarc Zyngier #include <linux/kvm_host.h> 26c6d01a94SMark Rutland 27c6d01a94SMark Rutland #include <asm/esr.h> 2883a49794SMarc Zyngier #include <asm/kvm_arm.h> 2983a49794SMarc Zyngier #include <asm/kvm_mmio.h> 3083a49794SMarc Zyngier #include <asm/ptrace.h> 314429fc64SAndre Przywara #include <asm/cputype.h> 3268908bf7SMarc Zyngier #include <asm/virt.h> 3383a49794SMarc Zyngier 34b547631fSMarc Zyngier unsigned long *vcpu_reg32(const struct kvm_vcpu *vcpu, u8 reg_num); 35b547631fSMarc Zyngier unsigned long *vcpu_spsr32(const struct kvm_vcpu *vcpu); 36b547631fSMarc Zyngier 3727b190bdSMarc Zyngier bool kvm_condition_valid32(const struct kvm_vcpu *vcpu); 3827b190bdSMarc Zyngier void kvm_skip_instr32(struct kvm_vcpu *vcpu, bool is_wide_instr); 3927b190bdSMarc Zyngier 4083a49794SMarc Zyngier void kvm_inject_undefined(struct kvm_vcpu *vcpu); 4110cf3390SMarc Zyngier void kvm_inject_vabt(struct kvm_vcpu *vcpu); 4283a49794SMarc Zyngier void kvm_inject_dabt(struct kvm_vcpu *vcpu, unsigned long addr); 4383a49794SMarc Zyngier void kvm_inject_pabt(struct kvm_vcpu *vcpu, unsigned long addr); 4483a49794SMarc Zyngier 45b856a591SChristoffer Dall static inline void vcpu_reset_hcr(struct kvm_vcpu *vcpu) 46b856a591SChristoffer Dall { 47b856a591SChristoffer Dall vcpu->arch.hcr_el2 = HCR_GUEST_FLAGS; 4868908bf7SMarc Zyngier if (is_kernel_in_hyp_mode()) 4968908bf7SMarc Zyngier vcpu->arch.hcr_el2 |= HCR_E2H; 50801f6772SMarc Zyngier if (test_bit(KVM_ARM_VCPU_EL1_32BIT, vcpu->arch.features)) 51801f6772SMarc Zyngier vcpu->arch.hcr_el2 &= ~HCR_RW; 52b856a591SChristoffer Dall } 53b856a591SChristoffer Dall 543c1e7165SMarc Zyngier static inline unsigned long vcpu_get_hcr(struct kvm_vcpu *vcpu) 553c1e7165SMarc Zyngier { 563c1e7165SMarc Zyngier return vcpu->arch.hcr_el2; 573c1e7165SMarc Zyngier } 583c1e7165SMarc Zyngier 593c1e7165SMarc Zyngier static inline void vcpu_set_hcr(struct kvm_vcpu *vcpu, unsigned long hcr) 603c1e7165SMarc Zyngier { 613c1e7165SMarc Zyngier vcpu->arch.hcr_el2 = hcr; 623c1e7165SMarc Zyngier } 633c1e7165SMarc Zyngier 6483a49794SMarc Zyngier static inline unsigned long *vcpu_pc(const struct kvm_vcpu *vcpu) 6583a49794SMarc Zyngier { 6683a49794SMarc Zyngier return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pc; 6783a49794SMarc Zyngier } 6883a49794SMarc Zyngier 6983a49794SMarc Zyngier static inline unsigned long *vcpu_elr_el1(const struct kvm_vcpu *vcpu) 7083a49794SMarc Zyngier { 7183a49794SMarc Zyngier return (unsigned long *)&vcpu_gp_regs(vcpu)->elr_el1; 7283a49794SMarc Zyngier } 7383a49794SMarc Zyngier 7483a49794SMarc Zyngier static inline unsigned long *vcpu_cpsr(const struct kvm_vcpu *vcpu) 7583a49794SMarc Zyngier { 7683a49794SMarc Zyngier return (unsigned long *)&vcpu_gp_regs(vcpu)->regs.pstate; 7783a49794SMarc Zyngier } 7883a49794SMarc Zyngier 7983a49794SMarc Zyngier static inline bool vcpu_mode_is_32bit(const struct kvm_vcpu *vcpu) 8083a49794SMarc Zyngier { 81b547631fSMarc Zyngier return !!(*vcpu_cpsr(vcpu) & PSR_MODE32_BIT); 8283a49794SMarc Zyngier } 8383a49794SMarc Zyngier 8483a49794SMarc Zyngier static inline bool kvm_condition_valid(const struct kvm_vcpu *vcpu) 8583a49794SMarc Zyngier { 8627b190bdSMarc Zyngier if (vcpu_mode_is_32bit(vcpu)) 8727b190bdSMarc Zyngier return kvm_condition_valid32(vcpu); 8827b190bdSMarc Zyngier 8927b190bdSMarc Zyngier return true; 9083a49794SMarc Zyngier } 9183a49794SMarc Zyngier 9283a49794SMarc Zyngier static inline void kvm_skip_instr(struct kvm_vcpu *vcpu, bool is_wide_instr) 9383a49794SMarc Zyngier { 9427b190bdSMarc Zyngier if (vcpu_mode_is_32bit(vcpu)) 9527b190bdSMarc Zyngier kvm_skip_instr32(vcpu, is_wide_instr); 9627b190bdSMarc Zyngier else 9783a49794SMarc Zyngier *vcpu_pc(vcpu) += 4; 9883a49794SMarc Zyngier } 9983a49794SMarc Zyngier 10083a49794SMarc Zyngier static inline void vcpu_set_thumb(struct kvm_vcpu *vcpu) 10183a49794SMarc Zyngier { 102b547631fSMarc Zyngier *vcpu_cpsr(vcpu) |= COMPAT_PSR_T_BIT; 10383a49794SMarc Zyngier } 10483a49794SMarc Zyngier 105c0f09634SMarc Zyngier /* 106f6be563aSPavel Fedin * vcpu_get_reg and vcpu_set_reg should always be passed a register number 107f6be563aSPavel Fedin * coming from a read of ESR_EL2. Otherwise, it may give the wrong result on 108f6be563aSPavel Fedin * AArch32 with banked registers. 109c0f09634SMarc Zyngier */ 110bc45a516SPavel Fedin static inline unsigned long vcpu_get_reg(const struct kvm_vcpu *vcpu, 111bc45a516SPavel Fedin u8 reg_num) 112bc45a516SPavel Fedin { 113bc45a516SPavel Fedin return (reg_num == 31) ? 0 : vcpu_gp_regs(vcpu)->regs.regs[reg_num]; 114bc45a516SPavel Fedin } 115bc45a516SPavel Fedin 116bc45a516SPavel Fedin static inline void vcpu_set_reg(struct kvm_vcpu *vcpu, u8 reg_num, 117bc45a516SPavel Fedin unsigned long val) 118bc45a516SPavel Fedin { 119bc45a516SPavel Fedin if (reg_num != 31) 120bc45a516SPavel Fedin vcpu_gp_regs(vcpu)->regs.regs[reg_num] = val; 121bc45a516SPavel Fedin } 122bc45a516SPavel Fedin 12383a49794SMarc Zyngier /* Get vcpu SPSR for current mode */ 12483a49794SMarc Zyngier static inline unsigned long *vcpu_spsr(const struct kvm_vcpu *vcpu) 12583a49794SMarc Zyngier { 126b547631fSMarc Zyngier if (vcpu_mode_is_32bit(vcpu)) 127b547631fSMarc Zyngier return vcpu_spsr32(vcpu); 128b547631fSMarc Zyngier 12983a49794SMarc Zyngier return (unsigned long *)&vcpu_gp_regs(vcpu)->spsr[KVM_SPSR_EL1]; 13083a49794SMarc Zyngier } 13183a49794SMarc Zyngier 13283a49794SMarc Zyngier static inline bool vcpu_mode_priv(const struct kvm_vcpu *vcpu) 13383a49794SMarc Zyngier { 1349586a2eaSShannon Zhao u32 mode; 13583a49794SMarc Zyngier 1369586a2eaSShannon Zhao if (vcpu_mode_is_32bit(vcpu)) { 1379586a2eaSShannon Zhao mode = *vcpu_cpsr(vcpu) & COMPAT_PSR_MODE_MASK; 138b547631fSMarc Zyngier return mode > COMPAT_PSR_MODE_USR; 1399586a2eaSShannon Zhao } 1409586a2eaSShannon Zhao 1419586a2eaSShannon Zhao mode = *vcpu_cpsr(vcpu) & PSR_MODE_MASK; 142b547631fSMarc Zyngier 14383a49794SMarc Zyngier return mode != PSR_MODE_EL0t; 14483a49794SMarc Zyngier } 14583a49794SMarc Zyngier 14683a49794SMarc Zyngier static inline u32 kvm_vcpu_get_hsr(const struct kvm_vcpu *vcpu) 14783a49794SMarc Zyngier { 14883a49794SMarc Zyngier return vcpu->arch.fault.esr_el2; 14983a49794SMarc Zyngier } 15083a49794SMarc Zyngier 1513e51d435SMarc Zyngier static inline int kvm_vcpu_get_condition(const struct kvm_vcpu *vcpu) 1523e51d435SMarc Zyngier { 1533e51d435SMarc Zyngier u32 esr = kvm_vcpu_get_hsr(vcpu); 1543e51d435SMarc Zyngier 1553e51d435SMarc Zyngier if (esr & ESR_ELx_CV) 1563e51d435SMarc Zyngier return (esr & ESR_ELx_COND_MASK) >> ESR_ELx_COND_SHIFT; 1573e51d435SMarc Zyngier 1583e51d435SMarc Zyngier return -1; 1593e51d435SMarc Zyngier } 1603e51d435SMarc Zyngier 16183a49794SMarc Zyngier static inline unsigned long kvm_vcpu_get_hfar(const struct kvm_vcpu *vcpu) 16283a49794SMarc Zyngier { 16383a49794SMarc Zyngier return vcpu->arch.fault.far_el2; 16483a49794SMarc Zyngier } 16583a49794SMarc Zyngier 16683a49794SMarc Zyngier static inline phys_addr_t kvm_vcpu_get_fault_ipa(const struct kvm_vcpu *vcpu) 16783a49794SMarc Zyngier { 16883a49794SMarc Zyngier return ((phys_addr_t)vcpu->arch.fault.hpfar_el2 & HPFAR_MASK) << 8; 16983a49794SMarc Zyngier } 17083a49794SMarc Zyngier 1710d97f884SWei Huang static inline u32 kvm_vcpu_hvc_get_imm(const struct kvm_vcpu *vcpu) 1720d97f884SWei Huang { 1731c6007d5SPaolo Bonzini return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_xVC_IMM_MASK; 1740d97f884SWei Huang } 1750d97f884SWei Huang 17683a49794SMarc Zyngier static inline bool kvm_vcpu_dabt_isvalid(const struct kvm_vcpu *vcpu) 17783a49794SMarc Zyngier { 178c6d01a94SMark Rutland return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_ISV); 17983a49794SMarc Zyngier } 18083a49794SMarc Zyngier 18183a49794SMarc Zyngier static inline bool kvm_vcpu_dabt_issext(const struct kvm_vcpu *vcpu) 18283a49794SMarc Zyngier { 183c6d01a94SMark Rutland return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SSE); 18483a49794SMarc Zyngier } 18583a49794SMarc Zyngier 18683a49794SMarc Zyngier static inline int kvm_vcpu_dabt_get_rd(const struct kvm_vcpu *vcpu) 18783a49794SMarc Zyngier { 188c6d01a94SMark Rutland return (kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SRT_MASK) >> ESR_ELx_SRT_SHIFT; 18983a49794SMarc Zyngier } 19083a49794SMarc Zyngier 19183a49794SMarc Zyngier static inline bool kvm_vcpu_dabt_isextabt(const struct kvm_vcpu *vcpu) 19283a49794SMarc Zyngier { 193c6d01a94SMark Rutland return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_EA); 19483a49794SMarc Zyngier } 19583a49794SMarc Zyngier 19683a49794SMarc Zyngier static inline bool kvm_vcpu_dabt_iss1tw(const struct kvm_vcpu *vcpu) 19783a49794SMarc Zyngier { 198c6d01a94SMark Rutland return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_S1PTW); 19983a49794SMarc Zyngier } 20083a49794SMarc Zyngier 20160e21a0eSWill Deacon static inline bool kvm_vcpu_dabt_iswrite(const struct kvm_vcpu *vcpu) 20260e21a0eSWill Deacon { 20360e21a0eSWill Deacon return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_WNR) || 20460e21a0eSWill Deacon kvm_vcpu_dabt_iss1tw(vcpu); /* AF/DBM update */ 20560e21a0eSWill Deacon } 20660e21a0eSWill Deacon 20757c841f1SMarc Zyngier static inline bool kvm_vcpu_dabt_is_cm(const struct kvm_vcpu *vcpu) 20857c841f1SMarc Zyngier { 20957c841f1SMarc Zyngier return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_CM); 21057c841f1SMarc Zyngier } 21157c841f1SMarc Zyngier 21283a49794SMarc Zyngier static inline int kvm_vcpu_dabt_get_as(const struct kvm_vcpu *vcpu) 21383a49794SMarc Zyngier { 214c6d01a94SMark Rutland return 1 << ((kvm_vcpu_get_hsr(vcpu) & ESR_ELx_SAS) >> ESR_ELx_SAS_SHIFT); 21583a49794SMarc Zyngier } 21683a49794SMarc Zyngier 21783a49794SMarc Zyngier /* This one is not specific to Data Abort */ 21883a49794SMarc Zyngier static inline bool kvm_vcpu_trap_il_is32bit(const struct kvm_vcpu *vcpu) 21983a49794SMarc Zyngier { 220c6d01a94SMark Rutland return !!(kvm_vcpu_get_hsr(vcpu) & ESR_ELx_IL); 22183a49794SMarc Zyngier } 22283a49794SMarc Zyngier 22383a49794SMarc Zyngier static inline u8 kvm_vcpu_trap_get_class(const struct kvm_vcpu *vcpu) 22483a49794SMarc Zyngier { 225561454e2SMark Rutland return ESR_ELx_EC(kvm_vcpu_get_hsr(vcpu)); 22683a49794SMarc Zyngier } 22783a49794SMarc Zyngier 22883a49794SMarc Zyngier static inline bool kvm_vcpu_trap_is_iabt(const struct kvm_vcpu *vcpu) 22983a49794SMarc Zyngier { 230c6d01a94SMark Rutland return kvm_vcpu_trap_get_class(vcpu) == ESR_ELx_EC_IABT_LOW; 23183a49794SMarc Zyngier } 23283a49794SMarc Zyngier 23383a49794SMarc Zyngier static inline u8 kvm_vcpu_trap_get_fault(const struct kvm_vcpu *vcpu) 23483a49794SMarc Zyngier { 235c6d01a94SMark Rutland return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC; 2360496daa5SChristoffer Dall } 2370496daa5SChristoffer Dall 2380496daa5SChristoffer Dall static inline u8 kvm_vcpu_trap_get_fault_type(const struct kvm_vcpu *vcpu) 2390496daa5SChristoffer Dall { 240c6d01a94SMark Rutland return kvm_vcpu_get_hsr(vcpu) & ESR_ELx_FSC_TYPE; 24183a49794SMarc Zyngier } 24283a49794SMarc Zyngier 243c667186fSMarc Zyngier static inline int kvm_vcpu_sys_get_rt(struct kvm_vcpu *vcpu) 244c667186fSMarc Zyngier { 245c667186fSMarc Zyngier u32 esr = kvm_vcpu_get_hsr(vcpu); 246c667186fSMarc Zyngier return (esr & ESR_ELx_SYS64_ISS_RT_MASK) >> ESR_ELx_SYS64_ISS_RT_SHIFT; 247c667186fSMarc Zyngier } 248c667186fSMarc Zyngier 2494429fc64SAndre Przywara static inline unsigned long kvm_vcpu_get_mpidr_aff(struct kvm_vcpu *vcpu) 25079c64880SMarc Zyngier { 2514429fc64SAndre Przywara return vcpu_sys_reg(vcpu, MPIDR_EL1) & MPIDR_HWID_BITMASK; 25279c64880SMarc Zyngier } 25379c64880SMarc Zyngier 254ce94fe93SMarc Zyngier static inline void kvm_vcpu_set_be(struct kvm_vcpu *vcpu) 255ce94fe93SMarc Zyngier { 256ce94fe93SMarc Zyngier if (vcpu_mode_is_32bit(vcpu)) 257ce94fe93SMarc Zyngier *vcpu_cpsr(vcpu) |= COMPAT_PSR_E_BIT; 258ce94fe93SMarc Zyngier else 259ce94fe93SMarc Zyngier vcpu_sys_reg(vcpu, SCTLR_EL1) |= (1 << 25); 260ce94fe93SMarc Zyngier } 261ce94fe93SMarc Zyngier 2626d89d2d9SMarc Zyngier static inline bool kvm_vcpu_is_be(struct kvm_vcpu *vcpu) 2636d89d2d9SMarc Zyngier { 2646d89d2d9SMarc Zyngier if (vcpu_mode_is_32bit(vcpu)) 2656d89d2d9SMarc Zyngier return !!(*vcpu_cpsr(vcpu) & COMPAT_PSR_E_BIT); 2666d89d2d9SMarc Zyngier 2676d89d2d9SMarc Zyngier return !!(vcpu_sys_reg(vcpu, SCTLR_EL1) & (1 << 25)); 2686d89d2d9SMarc Zyngier } 2696d89d2d9SMarc Zyngier 2706d89d2d9SMarc Zyngier static inline unsigned long vcpu_data_guest_to_host(struct kvm_vcpu *vcpu, 2716d89d2d9SMarc Zyngier unsigned long data, 2726d89d2d9SMarc Zyngier unsigned int len) 2736d89d2d9SMarc Zyngier { 2746d89d2d9SMarc Zyngier if (kvm_vcpu_is_be(vcpu)) { 2756d89d2d9SMarc Zyngier switch (len) { 2766d89d2d9SMarc Zyngier case 1: 2776d89d2d9SMarc Zyngier return data & 0xff; 2786d89d2d9SMarc Zyngier case 2: 2796d89d2d9SMarc Zyngier return be16_to_cpu(data & 0xffff); 2806d89d2d9SMarc Zyngier case 4: 2816d89d2d9SMarc Zyngier return be32_to_cpu(data & 0xffffffff); 2826d89d2d9SMarc Zyngier default: 2836d89d2d9SMarc Zyngier return be64_to_cpu(data); 2846d89d2d9SMarc Zyngier } 285b3007086SVictor Kamensky } else { 286b3007086SVictor Kamensky switch (len) { 287b3007086SVictor Kamensky case 1: 288b3007086SVictor Kamensky return data & 0xff; 289b3007086SVictor Kamensky case 2: 290b3007086SVictor Kamensky return le16_to_cpu(data & 0xffff); 291b3007086SVictor Kamensky case 4: 292b3007086SVictor Kamensky return le32_to_cpu(data & 0xffffffff); 293b3007086SVictor Kamensky default: 294b3007086SVictor Kamensky return le64_to_cpu(data); 295b3007086SVictor Kamensky } 2966d89d2d9SMarc Zyngier } 2976d89d2d9SMarc Zyngier 2986d89d2d9SMarc Zyngier return data; /* Leave LE untouched */ 2996d89d2d9SMarc Zyngier } 3006d89d2d9SMarc Zyngier 3016d89d2d9SMarc Zyngier static inline unsigned long vcpu_data_host_to_guest(struct kvm_vcpu *vcpu, 3026d89d2d9SMarc Zyngier unsigned long data, 3036d89d2d9SMarc Zyngier unsigned int len) 3046d89d2d9SMarc Zyngier { 3056d89d2d9SMarc Zyngier if (kvm_vcpu_is_be(vcpu)) { 3066d89d2d9SMarc Zyngier switch (len) { 3076d89d2d9SMarc Zyngier case 1: 3086d89d2d9SMarc Zyngier return data & 0xff; 3096d89d2d9SMarc Zyngier case 2: 3106d89d2d9SMarc Zyngier return cpu_to_be16(data & 0xffff); 3116d89d2d9SMarc Zyngier case 4: 3126d89d2d9SMarc Zyngier return cpu_to_be32(data & 0xffffffff); 3136d89d2d9SMarc Zyngier default: 3146d89d2d9SMarc Zyngier return cpu_to_be64(data); 3156d89d2d9SMarc Zyngier } 316b3007086SVictor Kamensky } else { 317b3007086SVictor Kamensky switch (len) { 318b3007086SVictor Kamensky case 1: 319b3007086SVictor Kamensky return data & 0xff; 320b3007086SVictor Kamensky case 2: 321b3007086SVictor Kamensky return cpu_to_le16(data & 0xffff); 322b3007086SVictor Kamensky case 4: 323b3007086SVictor Kamensky return cpu_to_le32(data & 0xffffffff); 324b3007086SVictor Kamensky default: 325b3007086SVictor Kamensky return cpu_to_le64(data); 326b3007086SVictor Kamensky } 3276d89d2d9SMarc Zyngier } 3286d89d2d9SMarc Zyngier 3296d89d2d9SMarc Zyngier return data; /* Leave LE untouched */ 3306d89d2d9SMarc Zyngier } 3316d89d2d9SMarc Zyngier 33283a49794SMarc Zyngier #endif /* __ARM64_KVM_EMULATE_H__ */ 333