diff --git a/drivers/memory/memory.c b/drivers/memory/memory.c index 0d2f1ed90..a3e60e469 100644 --- a/drivers/memory/memory.c +++ b/drivers/memory/memory.c @@ -324,7 +324,7 @@ unsigned nr_req; /* length of request vector */ s=sys_safecopyto(proc_nr, user_vir, vir_offset+suboffset, (vir_bytes) dev_zero, chunk, D); if(s != OK) - printf("MEM: sys_safecopyto failed: %d\n", s); + return s; left -= chunk; suboffset += chunk; }