tag	line	file	source code
device_interrupt	385	arch/alpha/kernel/irq.c	device_interrupt(j, j, regs);
device_interrupt	409	arch/alpha/kernel/irq.c	device_interrupt(j, j, regs);
device_interrupt	437	arch/alpha/kernel/irq.c	device_interrupt(16 + i, 16 + i, regs);
device_interrupt	466	arch/alpha/kernel/irq.c	device_interrupt(16 + i, 16 + i, regs);
device_interrupt	519	arch/alpha/kernel/irq.c	device_interrupt(irq, ack, regs);