Searched refs:pvclock_wall_clock (Results 1 - 3 of 3) sorted by last modified time

/freebsd-11-stable/sys/dev/xen/timer/
H A Dtimer.c199 struct pvclock_wall_clock *wc;
201 wc = (struct pvclock_wall_clock *) &src->wc_version;
/freebsd-11-stable/sys/x86/include/
H A Dpvclock.h46 struct pvclock_wall_clock { struct
56 void pvclock_get_wallclock(struct pvclock_wall_clock *wc,
/freebsd-11-stable/sys/x86/x86/
H A Dpvclock.c156 pvclock_read_wall_clock(struct pvclock_wall_clock *wc, uint32_t *sec,
196 pvclock_get_wallclock(struct pvclock_wall_clock *wc, struct timespec *ts)

Completed in 96 milliseconds