Symbol: CNTHCTL_ECV
arch/arm64/kvm/arch_timer.c
1592
sysreg_clear_set(cnthctl_el2, 0, CNTHCTL_ECV);
arch/arm64/kvm/nested.c
1805
resx.res0 |= CNTHCTL_ECV;