Home
last modified time | relevance | path

Searched refs:virt_timer_base (Results 1 – 2 of 2) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/
A Dvtimer.c67 d->arch.virt_timer_base.offset = READ_SYSREG64(CNTPCT_EL0); in domain_vtimer_init()
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()
164 WRITE_SYSREG64(v->domain->arch.virt_timer_base.offset, CNTVOFF_EL2); in virt_timer_restore()
/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Ddomain.h74 } virt_timer_base; member

Completed in 4 milliseconds