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