Symbol: pvclock_read_wall_clock
sys/x86/x86/pvclock.c
186
pvclock_read_wall_clock(wc, ts);
sys/x86/x86/pvclock.c
270
pvclock_read_wall_clock(pvc->get_wallclock(pvc->get_wallclock_arg), ts);
sys/x86/x86/pvclock.c
62
static void pvclock_read_wall_clock(struct pvclock_wall_clock *wc,