Symbol: pvclock_scale_delta
sys/dev/pv/pvclock.c
115
pvclock_scale_delta(uint64_t, uint32_t, int);
sys/dev/pv/pvclock.c
351
ctr = pvclock_scale_delta(delta, mul_frac, shift) + system_time;