ev6_machine_check
extern void ev6_machine_check(unsigned long, unsigned long);
ev6_machine_check(vector, la_ptr);