libbarrelfish: pinned: refill slabs in 64 page chunks instead of page by page
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 31 Jul 2017 14:13:08 +0000 (16:13 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Tue, 29 Aug 2017 06:42:33 +0000 (08:42 +0200)
commit26813abe5622fde19698efca24b398f6f2a27fc7
tree923542da84ef3d5b7b358532c95b10dec7959e3d
parent52c8f5319d0354f0dcd8a17fc93eefcbb69b3486
libbarrelfish: pinned: refill slabs in 64 page chunks instead of page by page

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