Symbol: pvclock_read_done
sys/dev/pv/pvclock.c
113
pvclock_read_done(const struct pvclock_time_info *, uint32_t);
sys/dev/pv/pvclock.c
212
} while (!pvclock_read_done(ti, version));
sys/dev/pv/pvclock.c
340
} while (!pvclock_read_done(ti, version));