VM: mem_shared: allow re-pagefault

Change-Id: Iffd0e265c03f064545c9689ac204c58335d32c9a
This commit is contained in:
Ben Gras 2014-09-03 13:42:30 +02:00
parent 921b550693
commit 4f9ef4d3b0

View file

@ -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))) {