--- src/sys/kern/kern_clock.c 2004/12/22 11:01:49 1.29 +++ src/sys/kern/kern_clock.c 2005/01/31 21:37:52 1.30 @@ -994,8 +994,8 @@ pps_event(struct pps_state *pps, syscloc tcount = count - pps->ppscount[2]; pps->ppscount[2] = count; if (tcount >= cputimer_freq) { - delta = 1000000000 * (tcount / cputimer_freq) + - (cputimer_freq64_nsec * + delta = (1000000000 * (tcount / cputimer_freq) + + cputimer_freq64_nsec * (tcount % cputimer_freq)) >> 32; } else { delta = (cputimer_freq64_nsec * tcount) >> 32;