pvclock_read_done
pvclock_read_done(const struct pvclock_time_info *, uint32_t);
} while (!pvclock_read_done(ti, version));