Searched refs:ticks_to_ns (Results 1 – 3 of 3) sorted by relevance
68 d->time_offset_seconds = ticks_to_ns(d->arch.virt_timer_base.offset - boot_count); in domain_vtimer_init()150 set_timer(&v->arch.virt_timer.timer, ticks_to_ns(v->arch.virt_timer.cval + in virt_timer_save()216 v->arch.phys_timer.cval = now + ticks_to_ns(*r); in vtimer_cntp_tval()242 v->arch.phys_timer.cval = ticks_to_ns(*r); in vtimer_cntp_cval()
56 /*static inline*/ s_time_t ticks_to_ns(uint64_t ticks) in ticks_to_ns() function195 return ticks_to_ns(ticks); in get_s_time()
40 extern s_time_t ticks_to_ns(uint64_t ticks);
Completed in 5 milliseconds