Symbol: indy_8254timer_irq
arch/mips/include/asm/sgi/ip22.h
81
extern void indy_8254timer_irq(void);
arch/mips/sgi-ip22/ip22-int.c
212
indy_8254timer_irq();