Searched refs:ctl_el0 (Results 1 – 1 of 1) sorted by relevance
408 uint64_t ctl_el0; in vtimer_phys_ctl_write() local415 ctl_el0 = vtimer_cpu->phys_timer.cntx_ctl_el0; in vtimer_phys_ctl_write()417 if (!timer_enabled(ctl_el0) && timer_enabled(wval)) in vtimer_phys_ctl_write()419 else if (timer_enabled(ctl_el0) && !timer_enabled(wval)) in vtimer_phys_ctl_write()