libbarrelfish: vspace_pinned_alloc: acquire lock nested, as we can recurse back into...

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

diff --git a/lib/barrelfish/vspace/pinned.c b/lib/barrelfish/vspace/pinned.c
index e01940e..3bb0054 100644 (file)
--- a/lib/barrelfish/vspace/pinned.c
+++ b/lib/barrelfish/vspace/pinned.c
@@ -93,7 +93,9 @@ errval_t vspace_pinned_alloc(void **retbuf, enum slab_type slab_type)
         return LIB_ERR_VSPACE_PINNED_INVALID_TYPE;
     }
 
-    thread_mutex_lock(&state->mutex);
+    // memobj->fill() can recurse into vspace_alloc_pinned(), so we need to
+    // acquire this lock in nested mode
+    thread_mutex_lock_nested(&state->mutex);
 
     // Try allocating
     static bool is_refilling = false;