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,