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