ev7_machine_check   66 arch/alpha/kernel/err_impl.h extern void ev7_machine_check(unsigned long, unsigned long);
ev7_machine_check 1082 arch/alpha/kernel/err_marvel.c 		ev7_machine_check(vector, la_ptr);