taglinefilesource code
la_ptr377arch/alpha/kernel/irq.cstatic void machine_check(unsigned long vector, unsigned long la_ptr, struct pt_regs * regs)
la_ptr387arch/alpha/kernel/irq.casmlinkage void do_entInt(unsigned long type, unsigned long vector, unsigned long la_ptr,
la_ptr400arch/alpha/kernel/irq.cmachine_check(vector, la_ptr, &regs);