handled = 1;
irq_src &= ~0x00000800;
do_timer(regs);
-#ifndef CONFIG_SMP
- update_process_times(user_mode(regs));
-#endif
}
GT_WRITE(GT_INTRCAUSE_OFS, 0);
*/
void gt64120_time_init(void)
{
+ extern irq_desc_t irq_desc[NR_IRQS];
static struct irqaction timer;
/* Disable timer first */