diff --git a/drivers/memory/memory.c b/drivers/memory/memory.c index 6ffd44baa..c7ca64cea 100644 --- a/drivers/memory/memory.c +++ b/drivers/memory/memory.c @@ -197,6 +197,7 @@ unsigned nr_req; /* length of request vector */ SELF, D, (vir_bytes) random_buf, chunk); random_putbytes(random_buf, chunk); } + user_vir += chunk; left -= chunk; } break; @@ -211,6 +212,7 @@ unsigned nr_req; /* length of request vector */ proc_nr, D, user_vir, chunk))) report("MEM","sys_vircopy failed", s); left -= chunk; + user_vir += chunk; } } break;