libbarrelfish: memobj_anon: change refilling flag to be per memobj
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 15 Dec 2016 17:36:03 +0000 (18:36 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 15 Dec 2016 17:36:03 +0000 (18:36 +0100)
commit44c71785d808cf0acdbba56d988dbf66159b1cf6
tree06030e2fe03fb79a0e6b23a5b7d92564c92c46da
parentfe7b8f08823e124486669196ec7e34fa8deba18e
libbarrelfish: memobj_anon: change refilling flag to be per memobj

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
include/barrelfish/memobj.h
lib/barrelfish/vspace/memobj_anon.c