c2_TTBR0_high     110 arch/arm/include/asm/kvm_host.h 	c2_TTBR0_high,		/* TTBR0 top 32 bits */
c2_TTBR0_high     181 arch/arm64/include/asm/kvm_host.h #define c2_TTBR0_high	(c2_TTBR0 + 1)	/* TTBR0 top 32 bits */