VM: mem_shared: allow re-pagefault

Change-Id: Iffd0e265c03f064545c9689ac204c58335d32c9a

diff --git a/minix/servers/vm/mem_shared.c b/minix/servers/vm/mem_shared.c
index d51029111f41fde1393be14c3e57837cd1c4d32b..93e791dc48158c6081fc791deaf00c567624abbb 100644 (file)
--- a/minix/servers/vm/mem_shared.c
+++ b/minix/servers/vm/mem_shared.c
@@ -131,7 +131,11 @@ static int shared_pagefault(struct vmproc *vmp, struct vir_region *region,
                return EINVAL;
        }
 
-       assert(ph->ph->phys == MAP_NONE);
+       if(ph->ph->phys != MAP_NONE) {
+               /* memory is there - pagefault does not need handling */
+               return OK;
+       }
+
        pb_free(ph->ph);
 
        if(!(pr = physblock_get(src_region, ph->offset))) {