if (!remote_dcache)
remote_dcache = dcache_init (remote_read_bytes, remote_write_bytes);
else
- dcache_flush (remote_dcache);
+ dcache_invd (remote_dcache);
exec_file = upload_to_device (exec_file, exec_file);
th->context.ContextFlags = 0;
}
- dcache_flush (remote_dcache);
+ dcache_invd (remote_dcache);
/* Allow continuing with the same signal that interrupted us.
Otherwise complain. */