--RnlQjJ0d97Da+TV1
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline

Hi,

I had to enable DEBUG_CLOCK in kernel config, and build failed. It seems
that one printf() argument change was forgotten (variable 'time` no
longer exist) in arch/i386/isa/clock.c:

#ifdef DEBUG_CLOCK
        printf("readclock: %ld (%ld)\n", time.tv_sec, base);
#endif

The diff attached should correct the problem (based on the change made
elseware in the function).

regards,

Arnaud


--RnlQjJ0d97Da+TV1
Content-Type: text/plain; charset=us-ascii
Content-Disposition: attachment; filename="clock.diff"

--- clock.c	Sun Jul  9 23:15:59 2006
+++ clock.c.new	Sun Jul  9 23:17:28 2006
@@ -804,7 +804,7 @@
 	ts.tv_nsec = 0;
 	tc_setclock(&ts);
 #ifdef DEBUG_CLOCK
-	printf("readclock: %ld (%ld)\n", time.tv_sec, base);
+	printf("readclock: %ld (%ld)\n", time_second, base);
 #endif
 
 	if (base != 0 && base < time_second - 5*SECYR)

--RnlQjJ0d97Da+TV1--