tag	line	file	source code
device_interrupt	372	arch/alpha/kernel/irq.c	device_interrupt(j, j, regs);
device_interrupt	399	arch/alpha/kernel/irq.c	device_interrupt(16 + i, 16 + i, regs);
device_interrupt	428	arch/alpha/kernel/irq.c	device_interrupt(16 + i, 16 + i, regs);
device_interrupt	481	arch/alpha/kernel/irq.c	device_interrupt(irq, ack, regs);