--- linux-2.6.1-orig/arch/um/kernel/time_kern.c	2004-03-05 13:37:14.638203216 +0100
+++ linux-2.6.1/arch/um/kernel/time_kern.c	2004-03-05 13:14:03.159740096 +0100
@@ -172,6 +172,7 @@
 	update_process_times(user_context(UPT_SP(regs)));
 	local_irq_enable();
 #endif
+	update_process_times(user_context(UPT_SP(regs)));
 	if(current_thread->cpu == 0)
 		timer_irq(regs);
 }