--- src/sys/i386/isa/clock.c Fri Aug 1 17:24:17 2008 +++ src/sys/i386/isa/clock.c Tue Nov 11 20:29:26 2008 @@ -293,22 +293,7 @@ int getit_calls = 1; int n1; static int state = 0; -#endif - if (tsc_freq != 0 && !tsc_is_broken) { - uint64_t start, end, now; - - sched_pin(); - start = rdtsc(); - end = start + (tsc_freq * n) / 1000000; - do { - cpu_spinwait(); - now = rdtsc(); - } while (now < end || (now > start && end < start)); - sched_unpin(); - return; - } -#ifdef DELAYDEBUG if (state == 0) { state = 1; for (n1 = 1; n1 <= 10000000; n1 *= 10)