cp15_64            22 arch/arm/kvm/hyp/cp15-sr.c 	*cp15_64(ctxt, c2_TTBR0)	= read_sysreg(TTBR0);
cp15_64            23 arch/arm/kvm/hyp/cp15-sr.c 	*cp15_64(ctxt, c2_TTBR1)	= read_sysreg(TTBR1);
cp15_64            32 arch/arm/kvm/hyp/cp15-sr.c 	*cp15_64(ctxt, c7_PAR)		= read_sysreg(PAR);
cp15_64            51 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(*cp15_64(ctxt, c2_TTBR0),	TTBR0);
cp15_64            52 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(*cp15_64(ctxt, c2_TTBR1),	TTBR1);
cp15_64            61 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(*cp15_64(ctxt, c7_PAR),	PAR);