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

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index aebc8ad..7d8e69c 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -65,26 +65,27 @@
 #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)			\
+  do {						\
+    extern struct vmm_os_hooks * os_hooks;	\
+    if ((os_hooks) && (os_hooks)->free_page) {	\
+      (os_hooks)->free_page(page);		\
+    }						\
+  } while(0)					\
+
 
 
-/*
-#define V3_Malloc(type, var, size)			\
-  do {							\
-    extern struct vmm_os_hooks * os_hooks;		\
-    var = 0;						\
-    if ((os_hooks) && (os_hooks)->malloc) {		\
-      var = (type)(os_hooks)->malloc(size);		\
-    }							\
-  } while (0)						\
-*/
 
 #define V3_Malloc(size) ({			\
       extern struct vmm_os_hooks * os_hooks;	\
@@ -104,6 +105,8 @@
     }							\
   } while (0)						\
 
+
+// uint_t V3_CPU_KHZ();
 #define V3_CPU_KHZ()					\
   ({ 							\
     unsigned int khz = 0;				\
@@ -115,6 +118,18 @@
   })							\
     
 
+
+#define V3_Hook_Interrupt(irq, opaque)				\
+  ({								\
+    int ret = 0;							\
+    extern struct vmm_os_hooks * os_hooks;			\
+    if ((os_hooks) && (os_hooks)->hook_interrupt) {		\
+      ret = (os_hooks)->hook_interrupt(irq, opaque);		\
+    }								\
+    ret;							\
+  })								\
+
+
 /* ** */
 
 #define V3_ASSERT(x)							\
@@ -128,6 +143,8 @@
   } while(0)								\
     
 
+
+
 #define VMM_INVALID_CPU 0
 #define VMM_VMX_CPU 1
 #define VMM_SVM_CPU 2
@@ -169,21 +186,15 @@ struct vmm_os_hooks {
   void *(*paddr_to_vaddr)(void *addr);
   void *(*vaddr_to_paddr)(void *addr);
 
-  //  int (*hook_interrupt)(int irq, vmm_intr_handler handler, uint_t opaque);
-
-  int (*hook_interrupt)(struct guest_info *s, int irq);
+  //  int (*hook_interrupt)(struct guest_info *s, int irq);
 
-  int (*hook_interrupt_new)(uint_t irq, void *opaque);
+  int (*hook_interrupt)(uint_t irq, void *opaque);
 
   int (*ack_irq)(int irq);
 
 
   unsigned int (*get_cpu_khz)();
 
-  // Do we need this here?
-  //  void (*snprintf)(char * dst, char * format, int len, ...);
-
-
 
   void (*start_kernel_thread)(); // include pointer to function
 };
@@ -202,7 +213,7 @@ struct vmm_ctrl_ops {
 
 
 
-void Init_VMM(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops);
+void Init_V3(struct vmm_os_hooks * hooks, struct vmm_ctrl_ops * vmm_ops);