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)
commit9992e27f479597020218f3621e42e5fbbb86bfb8
treeae537fcc83b6a3edb5200aef294e8d1731996b00
parenta0ede249099a646321d15f37f220593620f158ab
Fixed morecore_reinit() to properly not remap when unnecessary.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
lib/barrelfish/morecore.c