Home
last modified time | relevance | path

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

/freebsd/sys/x86/include/
H A Dpvclock.h135 void pvclock_get_wallclock(struct pvclock_wall_clock *wc,
/freebsd/sys/x86/x86/
H A Dpvclock.c184 pvclock_get_wallclock(struct pvclock_wall_clock *wc, struct timespec *ts) in pvclock_get_wallclock() function
/freebsd/sys/dev/xen/timer/
H A Dxen_timer.c200 pvclock_get_wallclock(wc, ts); in xen_fetch_wallclock()