Home
last modified time | relevance | path

Searched refs:boot_count (Results 1 – 3 of 3) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dtime.c39 uint64_t __read_mostly boot_count; variable
153 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()
A Dvtimer.c68 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()
/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Dtime.h38 extern uint64_t boot_count;

Completed in 3 milliseconds