c2_TTBR1_high     112 arch/arm/include/asm/kvm_host.h 	c2_TTBR1_high,		/* TTBR1 top 32 bits */
c2_TTBR1_high     183 arch/arm64/include/asm/kvm_host.h #define c2_TTBR1_high	(c2_TTBR1 + 1)	/* TTBR1 top 32 bits */