Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Dvtimer.c65 d->arch.virt_timer_base.offset = READ_SYSREG64(CNTPCT_EL0); in domain_vtimer_init()
66 d->time_offset.seconds = ticks_to_ns(d->arch.virt_timer_base.offset - boot_count); in domain_vtimer_init()
148 v->domain->arch.virt_timer_base.offset - boot_count)); in virt_timer_save()
160 WRITE_SYSREG64(v->domain->arch.virt_timer_base.offset, CNTVOFF_EL2); in virt_timer_restore()
/xen/xen/include/asm-arm/
A Ddomain.h63 } virt_timer_base; member

Completed in 4 milliseconds