Symbol: CNTHCTL_ECV_EN
sys/arm64/vmm/io/vtimer.c
223
*hypctx_sys_reg(hypctx, HOST_CNTHCTL_EL2) |= CNTHCTL_ECV_EN;
sys/arm64/vmm/io/vtimer.c
286
if ((hypctx_read_sys_reg(hypctx, HOST_CNTHCTL_EL2) & CNTHCTL_ECV_EN) != 0) {
sys/arm64/vmm/vmm_hyp.c
257
CNTHCTL_ECV_EN) != 0;
sys/arm64/vmm/vmm_hyp.c
592
CNTHCTL_ECV_EN) != 0;