tag	line	file	source code
la	551	arch/alpha/kernel/irq.c	static void machine_check(unsigned long vector, unsigned long la, struct pt_regs * regs)
la	554	arch/alpha/kernel/irq.c	extern void lca_machine_check (unsigned long vector, unsigned long la,
la	556	arch/alpha/kernel/irq.c	lca_machine_check(vector, la, regs);
la	558	arch/alpha/kernel/irq.c	extern void apecs_machine_check(unsigned long vector, unsigned long la,
la	560	arch/alpha/kernel/irq.c	apecs_machine_check(vector, la, regs);
la	319	arch/alpha/kernel/lca.c	void lca_machine_check (unsigned long vector, unsigned long la, struct pt_regs *regs)
la	325	arch/alpha/kernel/lca.c	printk("lca: machine check (la=0x%lx)\n", la);
la	326	arch/alpha/kernel/lca.c	el.c = (struct el_common *) la;