Searched refs:sys_regs (Results 1 – 7 of 7) sorted by relevance
38 ctxt->sys_regs[MDSCR_EL1] = read_sysreg(mdscr_el1); in __sysreg_save_common_state()49 ctxt->sys_regs[TPIDR_EL0] = read_sysreg(tpidr_el0); in __sysreg_save_user_state()50 ctxt->sys_regs[TPIDRRO_EL0] = read_sysreg(tpidrro_el0); in __sysreg_save_user_state()55 ctxt->sys_regs[MPIDR_EL1] = read_sysreg(vmpidr_el2); in __sysreg_save_el1_state()56 ctxt->sys_regs[CSSELR_EL1] = read_sysreg(csselr_el1); in __sysreg_save_el1_state()57 ctxt->sys_regs[SCTLR_EL1] = read_sysreg_el1(sctlr); in __sysreg_save_el1_state()58 ctxt->sys_regs[ACTLR_EL1] = read_sysreg(actlr_el1); in __sysreg_save_el1_state()59 ctxt->sys_regs[CPACR_EL1] = read_sysreg_el1(cpacr); in __sysreg_save_el1_state()60 ctxt->sys_regs[TTBR0_EL1] = read_sysreg_el1(ttbr0); in __sysreg_save_el1_state()61 ctxt->sys_regs[TTBR1_EL1] = read_sysreg_el1(ttbr1); in __sysreg_save_el1_state()[all …]
129 ctxt->sys_regs[MDCCINT_EL1] = read_sysreg(mdccint_el1); in __debug_save_state()149 write_sysreg(ctxt->sys_regs[MDCCINT_EL1], mdccint_el1); in __debug_restore_state()
52 vcpu->arch.ctxt.sys_regs[FPEXC32_EL2] = read_sysreg(fpexc32_el2); in __fpsimd_save_fpexc32()371 write_sysreg(vcpu->arch.ctxt.sys_regs[FPEXC32_EL2], in __hyp_switch_fpsimd()
200 u64 sys_regs[NR_SYS_REGS]; member318 #define __vcpu_sys_reg(v,r) ((v)->arch.ctxt.sys_regs[(r)])
21 kvm-$(CONFIG_KVM_ARM_HOST) += guest.o debug.o reset.o sys_regs.o sys_regs_generic_v8.o
2581 memset(&vcpu->arch.ctxt.sys_regs, 0x42, sizeof(vcpu->arch.ctxt.sys_regs)); in kvm_reset_sys_regs()
143 DEFINE(VCPU_FPEXC32_EL2, offsetof(struct kvm_vcpu, arch.ctxt.sys_regs[FPEXC32_EL2])); in main()
