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);