Home
last modified time | relevance | path

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

/freebsd/sys/dev/xen/timer/
H A Dxen_timer.c193 xen_fetch_wallclock(struct timespec *ts) in xen_fetch_wallclock() function
258 xen_fetch_wallclock(ts); in xentimer_gettime()