tag	line	file	source code
alcor_machine_check	612	arch/alpha/kernel/irq.c	extern void alcor_machine_check(unsigned long vector, unsigned long la,
alcor_machine_check	614	arch/alpha/kernel/irq.c	alcor_machine_check(vector, la, regs);