mvme68k_abort
mvme68k_abort("SERIAL LINE ABORT");
void mvme68k_abort(const char *);
mvme68k_abort("ABORT SWITCH");