tag	line	file	source code
device_interrupt	373	arch/alpha/kernel/irq.c	device_interrupt(j, j, regs);
device_interrupt	400	arch/alpha/kernel/irq.c	device_interrupt(16 + i, 16 + i, regs);
device_interrupt	429	arch/alpha/kernel/irq.c	device_interrupt(16 + i, 16 + i, regs);
device_interrupt	482	arch/alpha/kernel/irq.c	device_interrupt(irq, ack, regs);