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