Symbol: init_tsunami_irqs
arch/alpha/kernel/sys_dp264.c
283
init_tsunami_irqs(&dp264_irq_type, 16, 47);
arch/alpha/kernel/sys_dp264.c
300
init_tsunami_irqs(&clipper_irq_type, 24, 63);