init_tsunami_irqs  284 arch/alpha/kernel/sys_dp264.c 	init_tsunami_irqs(&dp264_irq_type, 16, 47);
init_tsunami_irqs  301 arch/alpha/kernel/sys_dp264.c 	init_tsunami_irqs(&clipper_irq_type, 24, 63);