--- timer.c.0   Thu Jan  6 15:13:21 2000
+++ timer.c     Thu Jan  6 15:15:31 2000
@@ -629,12 +629,11 @@

void do_timer(struct pt_regs * regs)
{
-       /* (*(unsigned long *)&jiffies)++; */
-       jiffies++;
-       lost_ticks++;
+       __asm__ __volatile__("incl jiffies");
+       __asm__ __volatile__("incl lost_ticks");
       mark_bh(TIMER_BH);
       if (!user_mode(regs))
-               lost_ticks_system++;
+               __asm__ __volatile__("incl lost_ticks_system");
       if (tq_timer)
               mark_bh(TQUEUE_BH);
}