30 	ctxt->cp15[c0_MPIDR]		= read_sysreg(VMPIDR);  in __sysreg_save_state()
31 	ctxt->cp15[c0_CSSELR]		= read_sysreg(CSSELR);  in __sysreg_save_state()
32 	ctxt->cp15[c1_SCTLR]		= read_sysreg(SCTLR);  in __sysreg_save_state()
33 	ctxt->cp15[c1_CPACR]		= read_sysreg(CPACR);  in __sysreg_save_state()
34 	*cp15_64(ctxt, c2_TTBR0)	= read_sysreg(TTBR0);  in __sysreg_save_state()
35 	*cp15_64(ctxt, c2_TTBR1)	= read_sysreg(TTBR1);  in __sysreg_save_state()
36 	ctxt->cp15[c2_TTBCR]		= read_sysreg(TTBCR);  in __sysreg_save_state()
37 	ctxt->cp15[c3_DACR]		= read_sysreg(DACR);  in __sysreg_save_state()
38 	ctxt->cp15[c5_DFSR]		= read_sysreg(DFSR);  in __sysreg_save_state()
39 	ctxt->cp15[c5_IFSR]		= read_sysreg(IFSR);  in __sysreg_save_state()
40 	ctxt->cp15[c5_ADFSR]		= read_sysreg(ADFSR);  in __sysreg_save_state()
41 	ctxt->cp15[c5_AIFSR]		= read_sysreg(AIFSR);  in __sysreg_save_state()
42 	ctxt->cp15[c6_DFAR]		= read_sysreg(DFAR);  in __sysreg_save_state()
43 	ctxt->cp15[c6_IFAR]		= read_sysreg(IFAR);  in __sysreg_save_state()
44 	*cp15_64(ctxt, c7_PAR)		= read_sysreg(PAR);  in __sysreg_save_state()
45 	ctxt->cp15[c10_PRRR]		= read_sysreg(PRRR);  in __sysreg_save_state()
46 	ctxt->cp15[c10_NMRR]		= read_sysreg(NMRR);  in __sysreg_save_state()
47 	ctxt->cp15[c10_AMAIR0]		= read_sysreg(AMAIR0);  in __sysreg_save_state()
48 	ctxt->cp15[c10_AMAIR1]		= read_sysreg(AMAIR1);  in __sysreg_save_state()
49 	ctxt->cp15[c12_VBAR]		= read_sysreg(VBAR);  in __sysreg_save_state()
50 	ctxt->cp15[c13_CID]		= read_sysreg(CID);  in __sysreg_save_state()
51 	ctxt->cp15[c13_TID_URW]		= read_sysreg(TID_URW);  in __sysreg_save_state()
52 	ctxt->cp15[c13_TID_URO]		= read_sysreg(TID_URO);  in __sysreg_save_state()
53 	ctxt->cp15[c13_TID_PRIV]	= read_sysreg(TID_PRIV);  in __sysreg_save_state()
54 	ctxt->cp15[c14_CNTKCTL]		= read_sysreg(CNTKCTL);  in __sysreg_save_state()