Some bugs in memory driver fixed (destination address of user buffer

not updated)

diff --git a/drivers/memory/memory.c b/drivers/memory/memory.c
index 6ffd44baa19a6b704bd152093c71bfb176d1690e..c7ca64cea40b94377be238867513d538b8e239af 100644 (file)
--- 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;