--- linux-2.4.orig/arch/i386/kernel/time.c	2003-10-24 22:48:15.000000000 +0200
+++ linux-2.4/arch/i386/kernel/time.c	2003-11-09 17:38:18.000000000 +0100
@@ -430,7 +430,6 @@
 
 const int use_cyclone = 0;
 static void mark_timeoffset_cyclone(void) {}
-static unsigned long do_gettimeoffset_cyclone(void) {return 0;}
 static void init_cyclone_clock(void) {}
 void __cyclone_delay(unsigned long loops) {}
 #endif /* CONFIG_X86_SUMMIT */