Symbol: t2_machine_check
arch/alpha/kernel/proto.h
65
extern void t2_machine_check(unsigned long vector, unsigned long la_ptr);
arch/alpha/kernel/sys_sable.c
324
.machine_check = t2_machine_check,