tag	line	file	source code
la	543	arch/alpha/kernel/irq.c	static void machine_check(unsigned long vector, unsigned long la, struct pt_regs * regs)
la	546	arch/alpha/kernel/irq.c	extern void lca_machine_check (unsigned long vector, unsigned long la,
la	548	arch/alpha/kernel/irq.c	lca_machine_check(vector, la, regs);
la	550	arch/alpha/kernel/irq.c	extern void apecs_machine_check(unsigned long vector, unsigned long la,
la	552	arch/alpha/kernel/irq.c	apecs_machine_check(vector, la, regs);
la	283	arch/alpha/kernel/lca.c	void lca_machine_check (unsigned long vector, unsigned long la, struct pt_regs *regs)
la	289	arch/alpha/kernel/lca.c	printk("Machine check (la=0x%lx,mces=0x%lx)\n", la, mces);