Searched refs:boot_count (Results 1 – 3 of 3) sorted by relevance
39 uint64_t __read_mostly boot_count; variable153 boot_count = READ_SYSREG64(CNTPCT_EL0); in preinit_xen_time()194 uint64_t ticks = READ_SYSREG64(CNTPCT_EL0) - boot_count; in get_s_time()211 deadline = ns_to_ticks(timeout) + boot_count; in reprogram_timer()
68 d->time_offset_seconds = ticks_to_ns(d->arch.virt_timer_base.offset - boot_count); in domain_vtimer_init()151 v->domain->arch.virt_timer_base.offset - boot_count)); in virt_timer_save()
38 extern uint64_t boot_count;
Completed in 4 milliseconds