Searched refs:ctl_el0 (Results 1 – 1 of 1) sorted by relevance
363 uint64_t ctl_el0; in vtimer_phys_ctl_write() local370 ctl_el0 = vtimer_cpu->phys_timer.cntx_ctl_el0; in vtimer_phys_ctl_write()372 if (!timer_enabled(ctl_el0) && timer_enabled(wval)) in vtimer_phys_ctl_write()374 else if (timer_enabled(ctl_el0) && !timer_enabled(wval)) in vtimer_phys_ctl_write()