tag	line	file	source code
isa_device_interrupt	389	arch/alpha/kernel/irq.c	isa_device_interrupt(vector, regs);
isa_device_interrupt	418	arch/alpha/kernel/irq.c	isa_device_interrupt(vector, regs);