Lines Matching refs:read_sysreg
21 ctxt_sys_reg(ctxt, MDSCR_EL1) = read_sysreg(mdscr_el1); in __sysreg_save_common_state()
26 ctxt_sys_reg(ctxt, TPIDR_EL0) = read_sysreg(tpidr_el0); in __sysreg_save_user_state()
27 ctxt_sys_reg(ctxt, TPIDRRO_EL0) = read_sysreg(tpidrro_el0); in __sysreg_save_user_state()
42 ctxt_sys_reg(ctxt, CSSELR_EL1) = read_sysreg(csselr_el1); in __sysreg_save_el1_state()
58 ctxt_sys_reg(ctxt, TPIDR_EL1) = read_sysreg(tpidr_el1); in __sysreg_save_el1_state()
65 ctxt_sys_reg(ctxt, SP_EL1) = read_sysreg(sp_el1); in __sysreg_save_el1_state()
190 vcpu->arch.ctxt.spsr_abt = read_sysreg(spsr_abt); in __sysreg32_save_state()
191 vcpu->arch.ctxt.spsr_und = read_sysreg(spsr_und); in __sysreg32_save_state()
192 vcpu->arch.ctxt.spsr_irq = read_sysreg(spsr_irq); in __sysreg32_save_state()
193 vcpu->arch.ctxt.spsr_fiq = read_sysreg(spsr_fiq); in __sysreg32_save_state()
195 __vcpu_sys_reg(vcpu, DACR32_EL2) = read_sysreg(dacr32_el2); in __sysreg32_save_state()
196 __vcpu_sys_reg(vcpu, IFSR32_EL2) = read_sysreg(ifsr32_el2); in __sysreg32_save_state()
199 __vcpu_sys_reg(vcpu, DBGVCR32_EL2) = read_sysreg(dbgvcr32_el2); in __sysreg32_save_state()