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()
62 	ctxt->sys_regs[TCR_EL1]		= read_sysreg_el1(tcr);  in __sysreg_save_el1_state()
63 	ctxt->sys_regs[ESR_EL1]		= read_sysreg_el1(esr);  in __sysreg_save_el1_state()
64 	ctxt->sys_regs[AFSR0_EL1]	= read_sysreg_el1(afsr0);  in __sysreg_save_el1_state()
65 	ctxt->sys_regs[AFSR1_EL1]	= read_sysreg_el1(afsr1);  in __sysreg_save_el1_state()
66 	ctxt->sys_regs[FAR_EL1]		= read_sysreg_el1(far);  in __sysreg_save_el1_state()
67 	ctxt->sys_regs[MAIR_EL1]	= read_sysreg_el1(mair);  in __sysreg_save_el1_state()
68 	ctxt->sys_regs[VBAR_EL1]	= read_sysreg_el1(vbar);  in __sysreg_save_el1_state()
69 	ctxt->sys_regs[CONTEXTIDR_EL1]	= read_sysreg_el1(contextidr);  in __sysreg_save_el1_state()
70 	ctxt->sys_regs[AMAIR_EL1]	= read_sysreg_el1(amair);  in __sysreg_save_el1_state()
71 	ctxt->sys_regs[CNTKCTL_EL1]	= read_sysreg_el1(cntkctl);  in __sysreg_save_el1_state()
72 	ctxt->sys_regs[PAR_EL1]		= read_sysreg(par_el1);  in __sysreg_save_el1_state()
73 	ctxt->sys_regs[TPIDR_EL1]	= read_sysreg(tpidr_el1);  in __sysreg_save_el1_state()
86 		ctxt->sys_regs[DISR_EL1] = read_sysreg_s(SYS_VDISR_EL2);  in __sysreg_save_el2_return_state()
110 	write_sysreg(ctxt->sys_regs[MDSCR_EL1],	  mdscr_el1);  in __sysreg_restore_common_state()
121 	write_sysreg(ctxt->sys_regs[TPIDR_EL0],	  	tpidr_el0);  in __sysreg_restore_user_state()
122 	write_sysreg(ctxt->sys_regs[TPIDRRO_EL0], 	tpidrro_el0);  in __sysreg_restore_user_state()
127 	write_sysreg(ctxt->sys_regs[MPIDR_EL1],		vmpidr_el2);  in __sysreg_restore_el1_state()
128 	write_sysreg(ctxt->sys_regs[CSSELR_EL1],	csselr_el1);  in __sysreg_restore_el1_state()
129 	write_sysreg_el1(ctxt->sys_regs[SCTLR_EL1],	sctlr);  in __sysreg_restore_el1_state()
130 	write_sysreg(ctxt->sys_regs[ACTLR_EL1],	  	actlr_el1);  in __sysreg_restore_el1_state()
131 	write_sysreg_el1(ctxt->sys_regs[CPACR_EL1],	cpacr);  in __sysreg_restore_el1_state()
132 	write_sysreg_el1(ctxt->sys_regs[TTBR0_EL1],	ttbr0);  in __sysreg_restore_el1_state()
133 	write_sysreg_el1(ctxt->sys_regs[TTBR1_EL1],	ttbr1);  in __sysreg_restore_el1_state()
134 	write_sysreg_el1(ctxt->sys_regs[TCR_EL1],	tcr);  in __sysreg_restore_el1_state()
135 	write_sysreg_el1(ctxt->sys_regs[ESR_EL1],	esr);  in __sysreg_restore_el1_state()
136 	write_sysreg_el1(ctxt->sys_regs[AFSR0_EL1],	afsr0);  in __sysreg_restore_el1_state()
137 	write_sysreg_el1(ctxt->sys_regs[AFSR1_EL1],	afsr1);  in __sysreg_restore_el1_state()
138 	write_sysreg_el1(ctxt->sys_regs[FAR_EL1],	far);  in __sysreg_restore_el1_state()
139 	write_sysreg_el1(ctxt->sys_regs[MAIR_EL1],	mair);  in __sysreg_restore_el1_state()
140 	write_sysreg_el1(ctxt->sys_regs[VBAR_EL1],	vbar);  in __sysreg_restore_el1_state()
141 	write_sysreg_el1(ctxt->sys_regs[CONTEXTIDR_EL1],contextidr);  in __sysreg_restore_el1_state()
142 	write_sysreg_el1(ctxt->sys_regs[AMAIR_EL1],	amair);  in __sysreg_restore_el1_state()
143 	write_sysreg_el1(ctxt->sys_regs[CNTKCTL_EL1], 	cntkctl);  in __sysreg_restore_el1_state()
144 	write_sysreg(ctxt->sys_regs[PAR_EL1],		par_el1);  in __sysreg_restore_el1_state()
145 	write_sysreg(ctxt->sys_regs[TPIDR_EL1],		tpidr_el1);  in __sysreg_restore_el1_state()
159 		write_sysreg_s(ctxt->sys_regs[DISR_EL1], SYS_VDISR_EL2);  in __sysreg_restore_el2_return_state()
189 	sysreg = vcpu->arch.ctxt.sys_regs;  in __sysreg32_save_state()
211 	sysreg = vcpu->arch.ctxt.sys_regs;  in __sysreg32_restore_state()