Symbol: marvel_machine_check
arch/alpha/kernel/err_impl.h
78
extern void marvel_machine_check(unsigned long, unsigned long);
arch/alpha/kernel/proto.h
39
extern void marvel_machine_check(unsigned long, unsigned long);
arch/alpha/kernel/sys_marvel.c
445
.machine_check = marvel_machine_check,