25 	return (u64 *)(ctxt->cp15 + idx);  in cp15_64()
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()
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()
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()
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()
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()
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()