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