1 files changed, 10 insertions, 0 deletions
diff --git a/src/include/kernel/vmmmgr.H b/src/include/kernel/vmmmgr.H
index 7c8c63c22..4fc112f09 100644
--- a/src/include/kernel/vmmmgr.H
+++ b/src/include/kernel/vmmmgr.H
@@ -84,6 +84,13 @@ class VmmManager
         VmmManager();
         ~VmmManager() {};
 
+        /** @brief Get spinlock for memory subsystem.
+         *  This is useful for passing to a deferred user-space message
+         *  handler so that the subsystem code is SMP-safe when the message
+         *  response is obtained.
+         */
+        static Spinlock* getLock();
+
     private:
         Spinlock lock;
 
@@ -92,6 +99,9 @@ class VmmManager
 
         bool _pteMiss(task_t*, uint64_t);
 
+    public:
+        friend class Block;
+
 };
 
 #endif