|
@@ -107,15 +107,14 @@ u32 arch_gettimeoffset(void)
|
|
|
|
|
|
/*
|
|
|
* timer_interrupt() needs to keep up the real-time clock,
|
|
|
- * as well as call the "do_timer()" routine every clocktick
|
|
|
+ * as well as call the "xtime_update()" routine every clocktick
|
|
|
*/
|
|
|
static irqreturn_t timer_interrupt(int irq, void *dev_id)
|
|
|
{
|
|
|
#ifndef CONFIG_SMP
|
|
|
profile_tick(CPU_PROFILING);
|
|
|
#endif
|
|
|
- /* XXX FIXME. Uh, the xtime_lock should be held here, no? */
|
|
|
- do_timer(1);
|
|
|
+ xtime_update(1);
|
|
|
|
|
|
#ifndef CONFIG_SMP
|
|
|
update_process_times(user_mode(get_irq_regs()));
|