Symbol: pvclock_tick
sys/dev/pv/pvclock.c
396
timeout_set(&sc->sc_tick, pvclock_tick, sc);
sys/dev/pv/pvclock.c
397
pvclock_tick(sc);