--- arch/x86_64/kernel/time.c   2006-03-10 09:43:47.043333296 +0100
+++ arch/x86_64/kernel/time.c.new   2006-03-10 09:46:33.504027424 +0100
@@ -502,7 +502,7 @@
}

-static unsigned long get_cmos_time(void)
+static unsigned long __get_cmos_time(void)
{
    unsigned int timeout = 1000000, year, mon, day, hour, min, sec;
    unsigned char uip = 0, this = 0;