Symbol: CNTP_CTL_IMASK
sys/arm64/vmm/io/vtimer.c
222
vtimer_cpu->phys_timer.cntx_ctl_el0 = CNTP_CTL_IMASK & ~CNTP_CTL_ENABLE;
sys/arm64/vmm/io/vtimer.c
58
(!((ctl) & CNTP_CTL_IMASK) && ((ctl) & CNTP_CTL_ENABLE))