c2_TTBR1          401 arch/arm/kvm/coproc.c 			access_vm_reg, reset_unknown, c2_TTBR1 },
c2_TTBR1          404 arch/arm/kvm/coproc.c 	{ CRm64( 2), Op1( 1), is64, access_vm_reg, reset_unknown64, c2_TTBR1 },
c2_TTBR1           23 arch/arm/kvm/hyp/cp15-sr.c 	*cp15_64(ctxt, c2_TTBR1)	= read_sysreg(TTBR1);
c2_TTBR1           52 arch/arm/kvm/hyp/cp15-sr.c 	write_sysreg(*cp15_64(ctxt, c2_TTBR1),	TTBR1);
c2_TTBR1          183 arch/arm64/include/asm/kvm_host.h #define c2_TTBR1_high	(c2_TTBR1 + 1)	/* TTBR1 top 32 bits */
c2_TTBR1         1854 arch/arm64/kvm/sys_regs.c 	{ Op1( 0), CRn( 2), CRm( 0), Op2( 1), access_vm_reg, NULL, c2_TTBR1 },
c2_TTBR1         1978 arch/arm64/kvm/sys_regs.c 	{ Op1( 1), CRn( 0), CRm( 2), Op2( 0), access_vm_reg, NULL, c2_TTBR1 },