/* * Define the MI code needed before returning to user mode, for * trap and syscall. */