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);