timer_enabled
if (!timer_enabled(timer->cntx_ctl_el0)) {
if (!timer_enabled(ctl_el0) && timer_enabled(wval))
else if (timer_enabled(ctl_el0) && !timer_enabled(wval))
if (timer_enabled(vtimer_cpu->phys_timer.cntx_ctl_el0)) {
if (timer_enabled(vtimer_cpu->phys_timer.cntx_ctl_el0)) {
if (!timer_enabled(cntv_ctl)) {