- /* FIXME: Send to something other than STDOUT? */
- printf_filtered ("gdbsim_xfer_inferior_memory: myaddr 0x");
- gdb_print_host_address (myaddr, gdb_stdout);
- printf_filtered (", memaddr %s, len %d, write %d\n",
- paddress (target_gdbarch, memaddr), len, write);
- if (remote_debug && write)
- dump_mem (myaddr, len);
+ if (remote_debug && len > 0)
+ dump_mem (writebuf, len);
+ l = sim_write (sim_data->gdbsim_desc, memaddr, writebuf, len);