cat /proc/cpuinfo shows like this for 2.4.0-test11 (also in ac2)
cpu MHz : 132.000956
The "000" seems to be excess. linux/arch/i386/kernel/time.c has it
right in time_init().
diff -u linux/arch/i386/kernel/setup.c\~ linux/arch/i386/kernel/setup.c
--- linux/arch/i386/kernel/setup.c~ Wed Nov 22 21:43:15 2000
+++ linux/arch/i386/kernel/setup.c Thu Nov 23 00:16:32 2000
@@ -2113,7 +2113,7 @@
p += sprintf(p, "stepping\t: unknown\n");
if ( test_bit(X86_FEATURE_TSC, &c->x86_capability) ) {
- p += sprintf(p, "cpu MHz\t\t: %lu.%06lu\n",
+ p += sprintf(p, "cpu MHz\t\t: %lu.%03lu\n",
cpu_khz / 1000, (cpu_khz % 1000));
}
--