From 4f9ef4d3b0f3b509714ab3def0369ac00f10b7c3 Mon Sep 17 00:00:00 2001
From: Ben Gras <ben@minix3.org>
Date: Wed, 3 Sep 2014 13:42:30 +0200
Subject: [PATCH] VM: mem_shared: allow re-pagefault

Change-Id: Iffd0e265c03f064545c9689ac204c58335d32c9a
---
 minix/servers/vm/mem_shared.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/minix/servers/vm/mem_shared.c b/minix/servers/vm/mem_shared.c
index d51029111..93e791dc4 100644
--- 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))) {