# HG changeset patch
# User iap10@labyrinth.cl.cam.ac.uk
# Date 1097638419 0
# Node ID 7565994e86cb7b3ada63f29aaa2a3b50df2fc85e
# Parent  44ab932026a6d9c15aa0f30522ca06d9741d97ac
bitkeeper revision 1.1159.1.228 (416ca213W0jQ7WsVdoY9rz0gGRV6Nw)

a little temporary debugging output for the time bug


diff -r 44ab932026a6 -r 7565994e86cb linux-2.6.8.1-xen-sparse/arch/xen/i386/kernel/time.c
--- a/linux-2.6.8.1-xen-sparse/arch/xen/i386/kernel/time.c	Wed Oct 13 03:31:02 2004 +0000
+++ b/linux-2.6.8.1-xen-sparse/arch/xen/i386/kernel/time.c	Wed Oct 13 03:33:39 2004 +0000
@@ -376,7 +376,10 @@ static inline void do_timer_interrupt(in
 	if (delta < 0) {
 		if (!TIME_VALUES_UP_TO_DATE)
 			goto retry;
-		printk("Timer ISR: Time went backwards: %lld\n", delta);
+		printk("Timer ISR: Time went backwards: %lld %lld %ld %lld\n",
+		       delta, shadow_system_time,
+		       (cur_timer->get_offset() * NSEC_PER_USEC), 
+		       processed_system_time);
 		return;
 	}