libbarrelfish: vspace_pinned_alloc: acquire lock nested, as we can recurse back into...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 15 Dec 2016 17:38:53 +0000 (18:38 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 15 Dec 2016 17:38:53 +0000 (18:38 +0100)
commitcf4365accd28763b204704efa18f7400ccbb68b7
tree7a42f4f81a16fac929372a8aae1880cf0d0f8dc9
parent44c71785d808cf0acdbba56d988dbf66159b1cf6
libbarrelfish: vspace_pinned_alloc: acquire lock nested, as we can recurse back into here through memobj->fill

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