Fixed morecore_reinit() to properly not remap when unnecessary.
authorSimon Gerber <simon.gerber@hp.com>
Sat, 26 Jul 2014 00:36:07 +0000 (17:36 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 09:28:13 +0000 (11:28 +0200)
Signed-off-by: Simon Gerber <simon.gerber@hp.com>

lib/barrelfish/morecore.c

index 28b671a..84f217a 100644 (file)
@@ -134,7 +134,7 @@ errval_t morecore_reinit(void)
 
     size_t mapoffset = state->mmu_state.mapoffset;
     size_t remapsize = ROUND_UP(mapoffset, state->mmu_state.alignment);
-    if (remapsize == mapoffset) {
+    if (remapsize <= mapoffset) {
         // don't need to do anything if we only recreate the exact same
         // mapping
         return SYS_ERR_OK;