X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=7d8e69cf47ae4af9131c4c2e6fa10a513f5e5e66;hp=8e64a0453934e00f1a7a2ceb861f5202924536ae;hb=6c28cc8753bb0e1b17b5c6c2ee296eb60e09079c;hpb=bc2c46a12649344d973e2201271c05390ce924bf

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 8e64a04..7d8e69c 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -65,14 +65,15 @@
 #endif
 
 
-#define V3_AllocPages(ptr, num_pages)		        \
-  do {							\
+#define V3_AllocPages(num_pages)		        \
+  ({							\
     extern struct vmm_os_hooks * os_hooks;		\
-    ptr = 0;						\
+    void * ptr = 0;					\
     if ((os_hooks) && (os_hooks)->allocate_pages) {	\
       ptr = (os_hooks)->allocate_pages(num_pages);	\
     }							\
-  } while (0)						\
+    ptr;						\
+  })							\
 
 
 #define V3_FreePage(page)			\