14 	return (u64 *)(ctxt->cp15 + idx);  in cp15_64()
19 	ctxt->cp15[c0_CSSELR]		= read_sysreg(CSSELR);  in __sysreg_save_state()
20 	ctxt->cp15[c1_SCTLR]		= read_sysreg(SCTLR);  in __sysreg_save_state()
21 	ctxt->cp15[c1_CPACR]		= read_sysreg(CPACR);  in __sysreg_save_state()
24 	ctxt->cp15[c2_TTBCR]		= read_sysreg(TTBCR);  in __sysreg_save_state()
25 	ctxt->cp15[c3_DACR]		= read_sysreg(DACR);  in __sysreg_save_state()
26 	ctxt->cp15[c5_DFSR]		= read_sysreg(DFSR);  in __sysreg_save_state()
27 	ctxt->cp15[c5_IFSR]		= read_sysreg(IFSR);  in __sysreg_save_state()
28 	ctxt->cp15[c5_ADFSR]		= read_sysreg(ADFSR);  in __sysreg_save_state()
29 	ctxt->cp15[c5_AIFSR]		= read_sysreg(AIFSR);  in __sysreg_save_state()
30 	ctxt->cp15[c6_DFAR]		= read_sysreg(DFAR);  in __sysreg_save_state()
31 	ctxt->cp15[c6_IFAR]		= read_sysreg(IFAR);  in __sysreg_save_state()
33 	ctxt->cp15[c10_PRRR]		= read_sysreg(PRRR);  in __sysreg_save_state()
34 	ctxt->cp15[c10_NMRR]		= read_sysreg(NMRR);  in __sysreg_save_state()
35 	ctxt->cp15[c10_AMAIR0]		= read_sysreg(AMAIR0);  in __sysreg_save_state()
36 	ctxt->cp15[c10_AMAIR1]		= read_sysreg(AMAIR1);  in __sysreg_save_state()
37 	ctxt->cp15[c12_VBAR]		= read_sysreg(VBAR);  in __sysreg_save_state()
38 	ctxt->cp15[c13_CID]		= read_sysreg(CID);  in __sysreg_save_state()
39 	ctxt->cp15[c13_TID_URW]		= read_sysreg(TID_URW);  in __sysreg_save_state()
40 	ctxt->cp15[c13_TID_URO]		= read_sysreg(TID_URO);  in __sysreg_save_state()
41 	ctxt->cp15[c13_TID_PRIV]	= read_sysreg(TID_PRIV);  in __sysreg_save_state()
42 	ctxt->cp15[c14_CNTKCTL]		= read_sysreg(CNTKCTL);  in __sysreg_save_state()
47 	write_sysreg(ctxt->cp15[c0_MPIDR],	VMPIDR);  in __sysreg_restore_state()
48 	write_sysreg(ctxt->cp15[c0_CSSELR],	CSSELR);  in __sysreg_restore_state()
49 	write_sysreg(ctxt->cp15[c1_SCTLR],	SCTLR);  in __sysreg_restore_state()
50 	write_sysreg(ctxt->cp15[c1_CPACR],	CPACR);  in __sysreg_restore_state()
53 	write_sysreg(ctxt->cp15[c2_TTBCR],	TTBCR);  in __sysreg_restore_state()
54 	write_sysreg(ctxt->cp15[c3_DACR],	DACR);  in __sysreg_restore_state()
55 	write_sysreg(ctxt->cp15[c5_DFSR],	DFSR);  in __sysreg_restore_state()
56 	write_sysreg(ctxt->cp15[c5_IFSR],	IFSR);  in __sysreg_restore_state()
57 	write_sysreg(ctxt->cp15[c5_ADFSR],	ADFSR);  in __sysreg_restore_state()
58 	write_sysreg(ctxt->cp15[c5_AIFSR],	AIFSR);  in __sysreg_restore_state()
59 	write_sysreg(ctxt->cp15[c6_DFAR],	DFAR);  in __sysreg_restore_state()
60 	write_sysreg(ctxt->cp15[c6_IFAR],	IFAR);  in __sysreg_restore_state()
62 	write_sysreg(ctxt->cp15[c10_PRRR],	PRRR);  in __sysreg_restore_state()
63 	write_sysreg(ctxt->cp15[c10_NMRR],	NMRR);  in __sysreg_restore_state()
64 	write_sysreg(ctxt->cp15[c10_AMAIR0],	AMAIR0);  in __sysreg_restore_state()
65 	write_sysreg(ctxt->cp15[c10_AMAIR1],	AMAIR1);  in __sysreg_restore_state()
66 	write_sysreg(ctxt->cp15[c12_VBAR],	VBAR);  in __sysreg_restore_state()
67 	write_sysreg(ctxt->cp15[c13_CID],	CID);  in __sysreg_restore_state()
68 	write_sysreg(ctxt->cp15[c13_TID_URW],	TID_URW);  in __sysreg_restore_state()
69 	write_sysreg(ctxt->cp15[c13_TID_URO],	TID_URO);  in __sysreg_restore_state()
70 	write_sysreg(ctxt->cp15[c13_TID_PRIV],	TID_PRIV);  in __sysreg_restore_state()
71 	write_sysreg(ctxt->cp15[c14_CNTKCTL],	CNTKCTL);  in __sysreg_restore_state()