X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=4a4ed79f8e8130061dcaa7f7ef6049d9972e04e4;hb=1fe82881720f7f9f64f789871f763aca93b47a7e;hp=d5f8fea909d05843223ae9ba05fb35300a244d3a;hpb=e63caa4c57933b3b38f498fea015785f8869c5ef;p=palacios.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index d5f8fea..4a4ed79 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -160,6 +160,15 @@
 	
 
 
+#define V3_CREATE_THREAD(fn, arg, name)				\
+    do {							\
+	extern struct v3_os_hooks * os_hooks;			\
+	if ((os_hooks) && (os_hooks)->start_kernel_thread) {	\
+	    (os_hooks)->start_kernel_thread(fn, arg, name);	\
+	}							\
+    } while (0)
+
+
 #define V3_Hook_Interrupt(irq, opaque) ({				\
 	    int ret = 0;						\
 	    extern struct v3_os_hooks * os_hooks;			\
@@ -169,6 +178,16 @@
 	    ret;							\
 	})								\
 	
+
+#define V3_ACK_IRQ(irq)						\
+    do {							\
+	extern struct v3_os_hooks * os_hooks;			\
+	if ((os_hooks) && (os_hooks)->ack_irq) {		\
+	    (os_hooks)->ack_irq(irq);				\
+	}							\
+    } while (0)
+
+
 #define V3_Yield(addr)					\
     do {						\
 	extern struct v3_os_hooks * os_hooks;		\
@@ -229,22 +248,15 @@ struct v3_os_hooks {
     void *(*paddr_to_vaddr)(void *addr);
     void *(*vaddr_to_paddr)(void *addr);
 
-    //  int (*hook_interrupt)(struct guest_info *s, int irq);
-
     int (*hook_interrupt)(struct guest_info * vm, unsigned int irq);
 
     int (*ack_irq)(int irq);
 
-
     unsigned int (*get_cpu_khz)(void);
 
+    void (*start_kernel_thread)(int (*fn)(void * arg), void * arg, char * thread_name); 
 
-    void (*start_kernel_thread)(void); // include pointer to function
-
-    void (*yield_cpu)(void);
-
-
- 
+    void (*yield_cpu)(void); 
 };
 
 
@@ -261,6 +273,7 @@ struct v3_vm_config {
 
 
     int enable_profiling;
+    int enable_nested_paging;
 
     int use_ramdisk;
     void * ramdisk;