tsunami_machine_check   97 arch/alpha/kernel/proto.h extern void tsunami_machine_check(unsigned long vector, unsigned long la_ptr);
tsunami_machine_check  549 arch/alpha/kernel/sys_dp264.c 	.machine_check		= tsunami_machine_check,
tsunami_machine_check  573 arch/alpha/kernel/sys_dp264.c 	.machine_check		= tsunami_machine_check,
tsunami_machine_check  596 arch/alpha/kernel/sys_dp264.c 	.machine_check		= tsunami_machine_check,
tsunami_machine_check  619 arch/alpha/kernel/sys_dp264.c 	.machine_check		= tsunami_machine_check,
tsunami_machine_check  647 arch/alpha/kernel/sys_dp264.c 	.machine_check		= tsunami_machine_check,
tsunami_machine_check  209 arch/alpha/kernel/sys_eiger.c 	.machine_check		= tsunami_machine_check,