HCPTR_TCP         116 arch/arm/include/asm/kvm_hyp.h 	return !(read_sysreg(HCPTR) & (HCPTR_TCP(11) | HCPTR_TCP(10)));
HCPTR_TCP          39 arch/arm/kvm/hyp/switch.c 	write_sysreg(HCPTR_TTA | HCPTR_TCP(10) | HCPTR_TCP(11), HCPTR);