lots of changes...

[palacios.git] / palacios / src / palacios / vmm_dev_mgr.c

diff --git a/palacios/src/palacios/vmm_dev_mgr.c b/palacios/src/palacios/vmm_dev_mgr.c
index 2a458d0..bce853b 100644 (file)
--- a/palacios/src/palacios/vmm_dev_mgr.c
+++ b/palacios/src/palacios/vmm_dev_mgr.c
@@ -304,7 +304,7 @@ int dev_mgr_hook_mem(struct guest_info    *vm,
 {
 
   struct dev_mem_hook *hook;
-  VMMMalloc(struct dev_mem_hook *, hook,sizeof(struct dev_mem_hook));
+  V3_Malloc(struct dev_mem_hook *, hook,sizeof(struct dev_mem_hook));
   
   if (!hook) { 
     return -1;