pvclock
struct pvclock pvc;
void pvclock_init(struct pvclock *pvc, device_t dev,
void pvclock_gettime(struct pvclock *pvc, struct timespec *ts);
int pvclock_destroy(struct pvclock *pvc);
pvclock_getsystime(struct pvclock *pvc)
struct pvclock *pvc = tc->tc_priv;
struct pvclock *pvc = tc->tc_priv;
struct pvclock *pvc = tc->tc_priv;
pvclock_gettime(struct pvclock *pvc, struct timespec *ts)
pvclock_init(struct pvclock *pvc, device_t dev, const char *tc_name,
pvclock_destroy(struct pvclock *pvc)
static uint64_t pvclock_getsystime(struct pvclock *pvc);