Lines Matching refs:write_sysreg
43 write_sysreg(val | FPEXC_EN, VFP_FPEXC); in __activate_traps()
47 write_sysreg(vcpu->arch.hcr, HCR); in __activate_traps()
49 write_sysreg(HSTR_T(15), HSTR); in __activate_traps()
50 write_sysreg(HCPTR_TTA | HCPTR_TCP(10) | HCPTR_TCP(11), HCPTR); in __activate_traps()
54 write_sysreg(val, HDCR); in __activate_traps()
70 write_sysreg(0, HCR); in __deactivate_traps()
71 write_sysreg(0, HSTR); in __deactivate_traps()
73 write_sysreg(val & ~(HDCR_TPM | HDCR_TPMCR), HDCR); in __deactivate_traps()
74 write_sysreg(0, HCPTR); in __deactivate_traps()
80 write_sysreg(kvm->arch.vttbr, VTTBR); in __activate_vm()
81 write_sysreg(vcpu->arch.midr, VPIDR); in __activate_vm()
86 write_sysreg(0, VTTBR); in __deactivate_vm()
87 write_sysreg(read_sysreg(MIDR), VPIDR); in __deactivate_vm()
138 write_sysreg(far, ATS1CPR); in __populate_fault_info()
142 write_sysreg(par, PAR); in __populate_fault_info()
166 write_sysreg(vcpu, HTPIDR); in __kvm_vcpu_run_nvhe()
210 write_sysreg(fpexc, VFP_FPEXC); in __kvm_vcpu_run_nvhe()