|
@@ -84,11 +84,13 @@ static irqreturn_t timer_interrupt(int irq, void *dev_id)
|
|
/* advance the kernel's time tracking system */
|
|
/* advance the kernel's time tracking system */
|
|
profile_tick(CPU_PROFILING);
|
|
profile_tick(CPU_PROFILING);
|
|
do_timer(1);
|
|
do_timer(1);
|
|
- update_process_times(user_mode(get_irq_regs()));
|
|
|
|
check_rtc_time();
|
|
check_rtc_time();
|
|
}
|
|
}
|
|
|
|
|
|
write_sequnlock(&xtime_lock);
|
|
write_sequnlock(&xtime_lock);
|
|
|
|
+
|
|
|
|
+ update_process_times(user_mode(get_irq_regs()));
|
|
|
|
+
|
|
return IRQ_HANDLED;
|
|
return IRQ_HANDLED;
|
|
}
|
|
}
|
|
|
|
|