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,