Symbol: CNTHP_CTL_EL2
arch/arm64/kvm/arch_timer.c
131
__vcpu_assign_sys_reg(vcpu, CNTHP_CTL_EL2, ctl);
arch/arm64/kvm/arch_timer.c
90
return __vcpu_sys_reg(vcpu, CNTHP_CTL_EL2);
arch/arm64/kvm/sys_regs.c
3862
TIMER_REG(CNTHP_CTL_EL2, el2_visibility),
tools/testing/selftests/kvm/arm64/get-reg-list.c
766
SYS_REG(CNTHP_CTL_EL2),