*** empty log message ***

[palacios.git] / palacios / include / geekos / vmm.h

diff --git a/palacios/include/geekos/vmm.h b/palacios/include/geekos/vmm.h
index c1c82d9..8f0dfbc 100644 (file)
--- a/palacios/include/geekos/vmm.h
+++ b/palacios/include/geekos/vmm.h
@@ -37,6 +37,18 @@
   } while (0)                                          \
 
 
+
+
+// We need to check the hook structure at runtime to ensure its SAFE
+#define VMMMalloc(size)                                 \
+  do {                                                 \
+    extern struct vmm_os_hooks * os_hooks;             \
+    if ((os_hooks) && (os_hooks)->malloc) {            \
+      (os_hooks)->malloc(size);                                \
+    }                                                  \
+  } while (0)                                          \
+
+
 /* ** */