--- 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);
 }