vserver 1.9.5.x5
[linux-2.6.git] / include / asm-arm / arch-clps711x / time.h
index 10d1038..9cb27cd 100644 (file)
@@ -30,6 +30,9 @@ p720t_timer_interrupt(int irq, void *dev_id, struct pt_regs *regs)
 {
        do_leds();
        do_timer(regs);
+#ifndef CONFIG_SMP
+       update_process_times(user_mode(regs));
+#endif
        do_profile(regs);
        return IRQ_HANDLED;
 }