indy_8254timer_irq 197 arch/mips/sgi-ip22/ip22-int.c extern void indy_8254timer_irq(void); indy_8254timer_irq 243 arch/mips/sgi-ip22/ip22-int.c indy_8254timer_irq();