--- linux-2.4.20-hrt/arch/i386/kernel/time.c~	2003-01-08 22:51:06.000000000 -0800
+++ linux/arch/i386/kernel/time.c	2003-02-03 14:22:31.000000000 -0800
@@ -869,7 +869,7 @@
 			 *	and just enable this for the next intel chips ?
 			 */
 			x86_udelay_tsc = 1;
-#ifndef do_gettimeoffset
+#if ! defined( do_gettimeoffset) && defined(CONFIG_X86_TSC)
 			do_gettimeoffset = do_fast_gettimeoffset;
 #endif
                         /*