tag	line	file	source code
device_interrupt	370	arch/alpha/kernel/irq.c	device_interrupt(j, j, regs);
device_interrupt	397	arch/alpha/kernel/irq.c	device_interrupt(16 + i, 16 + i, regs);
device_interrupt	426	arch/alpha/kernel/irq.c	device_interrupt(16 + i, 16 + i, regs);
device_interrupt	479	arch/alpha/kernel/irq.c	device_interrupt(irq, ack, regs);