Index: linux-2.6/arch/x86/kernel/tsc.c
===================================================================
--- linux-2.6.orig/arch/x86/kernel/tsc.c	2008-10-17 14:56:23.000000000 -0700
+++ linux-2.6/arch/x86/kernel/tsc.c	2008-10-17 15:01:38.000000000 -0700
@@ -163,6 +163,8 @@
 		pitcnt++;
 	}
 
+	printk("DEBUG: pitcnt %d, tscmin %lu, tscmax %lu\n",
+				pitcnt, tscmin, tscmax);
 	/*
 	 * Sanity checks:
 	 *