t2_machine_check 82 arch/alpha/kernel/proto.h extern void t2_machine_check(unsigned long vector, unsigned long la_ptr); t2_machine_check 552 arch/alpha/kernel/sys_sable.c .machine_check = t2_machine_check, t2_machine_check 584 arch/alpha/kernel/sys_sable.c .machine_check = t2_machine_check, t2_machine_check 615 arch/alpha/kernel/sys_sable.c .machine_check = t2_machine_check,