taglinefilesource code
device_interrupt377arch/alpha/kernel/irq.cdevice_interrupt(j, j, regs);
device_interrupt401arch/alpha/kernel/irq.cdevice_interrupt(j, j, regs);
device_interrupt429arch/alpha/kernel/irq.cdevice_interrupt(16 + i, 16 + i, regs);
device_interrupt458arch/alpha/kernel/irq.cdevice_interrupt(16 + i, 16 + i, regs);
device_interrupt511arch/alpha/kernel/irq.cdevice_interrupt(irq, ack, regs);