59 	write_sysreg(ctxt->cp15[c0_MPIDR],	VMPIDR);  in __sysreg_restore_state()
60 	write_sysreg(ctxt->cp15[c0_CSSELR],	CSSELR);  in __sysreg_restore_state()
61 	write_sysreg(ctxt->cp15[c1_SCTLR],	SCTLR);  in __sysreg_restore_state()
62 	write_sysreg(ctxt->cp15[c1_CPACR],	CPACR);  in __sysreg_restore_state()
63 	write_sysreg(*cp15_64(ctxt, c2_TTBR0),	TTBR0);  in __sysreg_restore_state()
64 	write_sysreg(*cp15_64(ctxt, c2_TTBR1),	TTBR1);  in __sysreg_restore_state()
65 	write_sysreg(ctxt->cp15[c2_TTBCR],	TTBCR);  in __sysreg_restore_state()
66 	write_sysreg(ctxt->cp15[c3_DACR],	DACR);  in __sysreg_restore_state()
67 	write_sysreg(ctxt->cp15[c5_DFSR],	DFSR);  in __sysreg_restore_state()
68 	write_sysreg(ctxt->cp15[c5_IFSR],	IFSR);  in __sysreg_restore_state()
69 	write_sysreg(ctxt->cp15[c5_ADFSR],	ADFSR);  in __sysreg_restore_state()
70 	write_sysreg(ctxt->cp15[c5_AIFSR],	AIFSR);  in __sysreg_restore_state()
71 	write_sysreg(ctxt->cp15[c6_DFAR],	DFAR);  in __sysreg_restore_state()
72 	write_sysreg(ctxt->cp15[c6_IFAR],	IFAR);  in __sysreg_restore_state()
73 	write_sysreg(*cp15_64(ctxt, c7_PAR),	PAR);  in __sysreg_restore_state()
74 	write_sysreg(ctxt->cp15[c10_PRRR],	PRRR);  in __sysreg_restore_state()
75 	write_sysreg(ctxt->cp15[c10_NMRR],	NMRR);  in __sysreg_restore_state()
76 	write_sysreg(ctxt->cp15[c10_AMAIR0],	AMAIR0);  in __sysreg_restore_state()
77 	write_sysreg(ctxt->cp15[c10_AMAIR1],	AMAIR1);  in __sysreg_restore_state()
78 	write_sysreg(ctxt->cp15[c12_VBAR],	VBAR);  in __sysreg_restore_state()
79 	write_sysreg(ctxt->cp15[c13_CID],	CID);  in __sysreg_restore_state()
80 	write_sysreg(ctxt->cp15[c13_TID_URW],	TID_URW);  in __sysreg_restore_state()
81 	write_sysreg(ctxt->cp15[c13_TID_URO],	TID_URO);  in __sysreg_restore_state()
82 	write_sysreg(ctxt->cp15[c13_TID_PRIV],	TID_PRIV);  in __sysreg_restore_state()
83 	write_sysreg(ctxt->cp15[c14_CNTKCTL],	CNTKCTL);  in __sysreg_restore_state()