7 #ifndef __ARM64_KVM_HYP_SYSREG_SR_H__
8 #define __ARM64_KVM_HYP_SYSREG_SR_H__
10 #include <linux/compiler.h>
11 #include <linux/kvm_host.h>
13 #include <asm/kprobes.h>
14 #include <asm/kvm_asm.h>
15 #include <asm/kvm_emulate.h>
16 #include <asm/kvm_hyp.h>
17 #include <asm/kvm_mmu.h>
21 ctxt_sys_reg(ctxt, MDSCR_EL1) = read_sysreg(mdscr_el1);
26 ctxt_sys_reg(ctxt, TPIDR_EL0) = read_sysreg(tpidr_el0);
27 ctxt_sys_reg(ctxt, TPIDRRO_EL0) = read_sysreg(tpidrro_el0);
32 struct kvm_vcpu *vcpu = ctxt->__hyp_running_vcpu;
35 vcpu = container_of(ctxt,
struct kvm_vcpu, arch.ctxt);
37 return kvm_has_mte(kern_hyp_va(vcpu->kvm));
42 ctxt_sys_reg(ctxt, SCTLR_EL1) = read_sysreg_el1(SYS_SCTLR);
43 ctxt_sys_reg(ctxt, CPACR_EL1) = read_sysreg_el1(SYS_CPACR);
44 ctxt_sys_reg(ctxt, TTBR0_EL1) = read_sysreg_el1(SYS_TTBR0);
45 ctxt_sys_reg(ctxt, TTBR1_EL1) = read_sysreg_el1(SYS_TTBR1);
46 ctxt_sys_reg(ctxt, TCR_EL1) = read_sysreg_el1(SYS_TCR);
47 if (cpus_have_final_cap(ARM64_HAS_TCR2))
48 ctxt_sys_reg(ctxt, TCR2_EL1) = read_sysreg_el1(SYS_TCR2);
49 ctxt_sys_reg(ctxt, ESR_EL1) = read_sysreg_el1(SYS_ESR);
50 ctxt_sys_reg(ctxt, AFSR0_EL1) = read_sysreg_el1(SYS_AFSR0);
51 ctxt_sys_reg(ctxt, AFSR1_EL1) = read_sysreg_el1(SYS_AFSR1);
52 ctxt_sys_reg(ctxt, FAR_EL1) = read_sysreg_el1(SYS_FAR);
53 ctxt_sys_reg(ctxt, MAIR_EL1) = read_sysreg_el1(SYS_MAIR);
54 ctxt_sys_reg(ctxt, VBAR_EL1) = read_sysreg_el1(SYS_VBAR);
55 ctxt_sys_reg(ctxt, CONTEXTIDR_EL1) = read_sysreg_el1(SYS_CONTEXTIDR);
56 ctxt_sys_reg(ctxt, AMAIR_EL1) = read_sysreg_el1(SYS_AMAIR);
57 ctxt_sys_reg(ctxt, CNTKCTL_EL1) = read_sysreg_el1(SYS_CNTKCTL);
58 if (cpus_have_final_cap(ARM64_HAS_S1PIE)) {
59 ctxt_sys_reg(ctxt, PIR_EL1) = read_sysreg_el1(SYS_PIR);
60 ctxt_sys_reg(ctxt, PIRE0_EL1) = read_sysreg_el1(SYS_PIRE0);
62 ctxt_sys_reg(ctxt, PAR_EL1) = read_sysreg_par();
63 ctxt_sys_reg(ctxt, TPIDR_EL1) = read_sysreg(tpidr_el1);
66 ctxt_sys_reg(ctxt, TFSR_EL1) = read_sysreg_el1(SYS_TFSR);
67 ctxt_sys_reg(ctxt, TFSRE0_EL1) = read_sysreg_s(SYS_TFSRE0_EL1);
70 ctxt_sys_reg(ctxt, SP_EL1) = read_sysreg(sp_el1);
71 ctxt_sys_reg(ctxt, ELR_EL1) = read_sysreg_el1(SYS_ELR);
72 ctxt_sys_reg(ctxt, SPSR_EL1) = read_sysreg_el1(SYS_SPSR);
77 ctxt->regs.pc = read_sysreg_el2(SYS_ELR);
82 if (!has_vhe() && ctxt->__hyp_running_vcpu)
83 ctxt->regs.pstate = read_sysreg_el2(SYS_SPSR);
85 if (cpus_have_final_cap(ARM64_HAS_RAS_EXTN))
86 ctxt_sys_reg(ctxt, DISR_EL1) = read_sysreg_s(SYS_VDISR_EL2);
91 write_sysreg(ctxt_sys_reg(ctxt, MDSCR_EL1), mdscr_el1);
96 write_sysreg(ctxt_sys_reg(ctxt, TPIDR_EL0), tpidr_el0);
97 write_sysreg(ctxt_sys_reg(ctxt, TPIDRRO_EL0), tpidrro_el0);
102 write_sysreg(ctxt_sys_reg(ctxt, MPIDR_EL1), vmpidr_el2);
105 !cpus_have_final_cap(ARM64_WORKAROUND_SPECULATIVE_AT)) {
106 write_sysreg_el1(ctxt_sys_reg(ctxt, SCTLR_EL1), SYS_SCTLR);
107 write_sysreg_el1(ctxt_sys_reg(ctxt, TCR_EL1), SYS_TCR);
108 }
else if (!ctxt->__hyp_running_vcpu) {
114 write_sysreg_el1((ctxt_sys_reg(ctxt, TCR_EL1) |
115 TCR_EPD1_MASK | TCR_EPD0_MASK),
120 write_sysreg_el1(ctxt_sys_reg(ctxt, CPACR_EL1), SYS_CPACR);
121 write_sysreg_el1(ctxt_sys_reg(ctxt, TTBR0_EL1), SYS_TTBR0);
122 write_sysreg_el1(ctxt_sys_reg(ctxt, TTBR1_EL1), SYS_TTBR1);
123 if (cpus_have_final_cap(ARM64_HAS_TCR2))
124 write_sysreg_el1(ctxt_sys_reg(ctxt, TCR2_EL1), SYS_TCR2);
125 write_sysreg_el1(ctxt_sys_reg(ctxt, ESR_EL1), SYS_ESR);
126 write_sysreg_el1(ctxt_sys_reg(ctxt, AFSR0_EL1), SYS_AFSR0);
127 write_sysreg_el1(ctxt_sys_reg(ctxt, AFSR1_EL1), SYS_AFSR1);
128 write_sysreg_el1(ctxt_sys_reg(ctxt, FAR_EL1), SYS_FAR);
129 write_sysreg_el1(ctxt_sys_reg(ctxt, MAIR_EL1), SYS_MAIR);
130 write_sysreg_el1(ctxt_sys_reg(ctxt, VBAR_EL1), SYS_VBAR);
131 write_sysreg_el1(ctxt_sys_reg(ctxt, CONTEXTIDR_EL1), SYS_CONTEXTIDR);
132 write_sysreg_el1(ctxt_sys_reg(ctxt, AMAIR_EL1), SYS_AMAIR);
133 write_sysreg_el1(ctxt_sys_reg(ctxt, CNTKCTL_EL1), SYS_CNTKCTL);
134 if (cpus_have_final_cap(ARM64_HAS_S1PIE)) {
135 write_sysreg_el1(ctxt_sys_reg(ctxt, PIR_EL1), SYS_PIR);
136 write_sysreg_el1(ctxt_sys_reg(ctxt, PIRE0_EL1), SYS_PIRE0);
138 write_sysreg(ctxt_sys_reg(ctxt, PAR_EL1), par_el1);
139 write_sysreg(ctxt_sys_reg(ctxt, TPIDR_EL1), tpidr_el1);
142 write_sysreg_el1(ctxt_sys_reg(ctxt, TFSR_EL1), SYS_TFSR);
143 write_sysreg_s(ctxt_sys_reg(ctxt, TFSRE0_EL1), SYS_TFSRE0_EL1);
147 cpus_have_final_cap(ARM64_WORKAROUND_SPECULATIVE_AT) &&
148 ctxt->__hyp_running_vcpu) {
159 write_sysreg_el1(ctxt_sys_reg(ctxt, SCTLR_EL1), SYS_SCTLR);
161 write_sysreg_el1(ctxt_sys_reg(ctxt, TCR_EL1), SYS_TCR);
164 write_sysreg(ctxt_sys_reg(ctxt, SP_EL1), sp_el1);
165 write_sysreg_el1(ctxt_sys_reg(ctxt, ELR_EL1), SYS_ELR);
166 write_sysreg_el1(ctxt_sys_reg(ctxt, SPSR_EL1), SYS_SPSR);
172 u64 mode = ctxt->regs.pstate & (PSR_MODE_MASK | PSR_MODE32_BIT);
176 mode = PSR_MODE_EL1t;
179 mode = PSR_MODE_EL1h;
183 return (ctxt->regs.pstate & ~(PSR_MODE_MASK | PSR_MODE32_BIT)) | mode;
189 u64 mode = pstate & PSR_AA32_MODE_MASK;
202 if (!(mode & PSR_MODE32_BIT) && mode >= PSR_MODE_EL2t)
203 pstate = PSR_MODE_EL2h | PSR_IL_BIT;
205 write_sysreg_el2(ctxt->regs.pc, SYS_ELR);
206 write_sysreg_el2(pstate, SYS_SPSR);
208 if (cpus_have_final_cap(ARM64_HAS_RAS_EXTN))
209 write_sysreg_s(ctxt_sys_reg(ctxt, DISR_EL1), SYS_VDISR_EL2);
214 if (!vcpu_el1_is_32bit(vcpu))
217 vcpu->arch.ctxt.spsr_abt = read_sysreg(spsr_abt);
218 vcpu->arch.ctxt.spsr_und = read_sysreg(spsr_und);
219 vcpu->arch.ctxt.spsr_irq = read_sysreg(spsr_irq);
220 vcpu->arch.ctxt.spsr_fiq = read_sysreg(spsr_fiq);
222 __vcpu_sys_reg(vcpu, DACR32_EL2) = read_sysreg(dacr32_el2);
223 __vcpu_sys_reg(vcpu, IFSR32_EL2) = read_sysreg(ifsr32_el2);
225 if (has_vhe() || vcpu_get_flag(vcpu, DEBUG_DIRTY))
226 __vcpu_sys_reg(vcpu, DBGVCR32_EL2) = read_sysreg(dbgvcr32_el2);
231 if (!vcpu_el1_is_32bit(vcpu))
234 write_sysreg(vcpu->arch.ctxt.spsr_abt, spsr_abt);
235 write_sysreg(vcpu->arch.ctxt.spsr_und, spsr_und);
236 write_sysreg(vcpu->arch.ctxt.spsr_irq, spsr_irq);
237 write_sysreg(vcpu->arch.ctxt.spsr_fiq, spsr_fiq);
239 write_sysreg(__vcpu_sys_reg(vcpu, DACR32_EL2), dacr32_el2);
240 write_sysreg(__vcpu_sys_reg(vcpu, IFSR32_EL2), ifsr32_el2);
242 if (has_vhe() || vcpu_get_flag(vcpu, DEBUG_DIRTY))
243 write_sysreg(__vcpu_sys_reg(vcpu, DBGVCR32_EL2), dbgvcr32_el2);
static void __sysreg_restore_common_state(struct kvm_cpu_context *ctxt)
static void __sysreg_save_el1_state(struct kvm_cpu_context *ctxt)
static void __sysreg_save_el2_return_state(struct kvm_cpu_context *ctxt)
static void __sysreg_restore_el1_state(struct kvm_cpu_context *ctxt)
static void __sysreg32_restore_state(struct kvm_vcpu *vcpu)
static void __sysreg_restore_el2_return_state(struct kvm_cpu_context *ctxt)
static u64 to_hw_pstate(const struct kvm_cpu_context *ctxt)
static void __sysreg_save_common_state(struct kvm_cpu_context *ctxt)
static void __sysreg32_save_state(struct kvm_vcpu *vcpu)
static void __sysreg_restore_user_state(struct kvm_cpu_context *ctxt)
static void __sysreg_save_user_state(struct kvm_cpu_context *ctxt)
static bool ctxt_has_mte(struct kvm_cpu_context *ctxt)