marvel_machine_check   78 arch/alpha/kernel/err_impl.h extern void marvel_machine_check(unsigned long, unsigned long);
marvel_machine_check   52 arch/alpha/kernel/proto.h extern void marvel_machine_check(unsigned long, unsigned long);
marvel_machine_check  446 arch/alpha/kernel/sys_marvel.c 	.machine_check		= marvel_machine_check,