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