Symbol: timer_enabled
sys/arm64/vmm/io/vtimer.c
273
if (!timer_enabled(timer->cntx_ctl_el0)) {
sys/arm64/vmm/io/vtimer.c
417
if (!timer_enabled(ctl_el0) && timer_enabled(wval))
sys/arm64/vmm/io/vtimer.c
419
else if (timer_enabled(ctl_el0) && !timer_enabled(wval))
sys/arm64/vmm/io/vtimer.c
474
if (timer_enabled(vtimer_cpu->phys_timer.cntx_ctl_el0)) {
sys/arm64/vmm/io/vtimer.c
526
if (timer_enabled(vtimer_cpu->phys_timer.cntx_ctl_el0)) {
sys/arm64/vmm/io/vtimer.c
90
if (!timer_enabled(cntv_ctl)) {