int diss68k_getdumpline(uint32 addr68k, uint8 *addr, char *dumpline);