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

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index a892094..7d8e69c 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -14,55 +14,78 @@
 //#include <palacios/vmm_paging.h>
 
 /* utility definitions */
+
+#if VMM_DEBUG
 #define PrintDebug(fmt, args...)			\
   do {							\
     extern struct vmm_os_hooks * os_hooks;		\
     if ((os_hooks) && (os_hooks)->print_debug) {	\
       (os_hooks)->print_debug((fmt), ##args);		\
     }							\
-  } while (0)						\
+  } while (0)						
+#else
+#define PrintDebug(fmt,args ...)
+#endif
+
+
+
+#define PrintError(fmt, args...)			\
+  do {							\
+    extern struct vmm_os_hooks * os_hooks;		\
+    if ((os_hooks) && (os_hooks)->print_debug) {	\
+      (os_hooks)->print_debug((fmt), ##args);		\
+    }							\
+  } while (0)						
 
 
 
+#if VMM_INFO
 #define PrintInfo(fmt, args...) 		        \
   do {							\
     extern struct vmm_os_hooks * os_hooks;		\
     if ((os_hooks) && (os_hooks)->print_info) {		\
       (os_hooks)->print_info((fmt), ##args);		\
     }							\
-  } while (0)						\
+  } while (0)						
+#else
+#define PrintInfo(fmt, args...)
+#endif
 
 
+#if VMM_TRACE
 #define PrintTrace(fmt, args...)			\
   do {							\
     extern struct vmm_os_hooks * os_hooks;		\
     if ((os_hooks) && (os_hooks)->print_trace) {	\
       (os_hooks)->print_trace((fmt), ##args);		\
     }							\
-  } while (0)						\
-
+  } while (0)						
+#else
+#define PrintTrace(fmt, args...)
+#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;	\
@@ -82,6 +105,8 @@
     }							\
   } while (0)						\
 
+
+// uint_t V3_CPU_KHZ();
 #define V3_CPU_KHZ()					\
   ({ 							\
     unsigned int khz = 0;				\
@@ -93,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)							\
@@ -106,6 +143,8 @@
   } while(0)								\
     
 
+
+
 #define VMM_INVALID_CPU 0
 #define VMM_VMX_CPU 1
 #define VMM_SVM_CPU 2
@@ -113,6 +152,25 @@
 #endif //!__V3VEE__
 
 
+//
+//
+// This is the interrupt state that the VMM's interrupt handlers need to see
+//
+struct vmm_intr_state {
+  uint_t irq;
+  uint_t error;
+
+  uint_t should_ack;  // Should the vmm ack this interrupt, or will
+                      // the host OS do it?
+
+  // This is the value given when the interrupt is hooked.
+  // This will never be NULL
+  void *opaque;
+};
+
+void deliver_interrupt_to_vmm(struct vmm_intr_state *state);
+
+
 /* This will contain function pointers that provide OS services */
 struct vmm_os_hooks {
   void (*print_info)(const char * format, ...);
@@ -128,15 +186,14 @@ struct vmm_os_hooks {
   void *(*paddr_to_vaddr)(void *addr);
   void *(*vaddr_to_paddr)(void *addr);
 
-  int (*hook_interrupt)(struct guest_info * info, int irq);
-  int (*ack_irq)(int irq);
+  //  int (*hook_interrupt)(struct guest_info *s, int irq);
 
+  int (*hook_interrupt)(uint_t irq, void *opaque);
 
-  unsigned int (*get_cpu_khz)();
+  int (*ack_irq)(int irq);
 
-  // Do we need this here?
-  //  void (*snprintf)(char * dst, char * format, int len, ...);
 
+  unsigned int (*get_cpu_khz)();
 
 
   void (*start_kernel_thread)(); // include pointer to function
@@ -150,14 +207,13 @@ struct vmm_ctrl_ops {
   int (*start_guest)(struct guest_info * info);
   //  int (*stop_vm)(uint_t vm_id);
 
-
-
+  int (*has_nested_paging)();
 };
 
 
 
 
-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);