X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=f5bad18ebfe19d0e13fe022f9e5beec647ee3155;hb=a7dc3322984b3c76fe990de506418e180ec1b0de;hp=8718f2f0531f5dcf68aaa78e2596bb0b5d109cf7;hpb=2d2b2257674552601f1527cf2f6630fb1995f6c2;p=palacios.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 8718f2f..f5bad18 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -160,11 +160,11 @@
 	
 
 
-#define V3_CREATE_THREAD(fn, name)				\
+#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, name);		\
+	    (os_hooks)->start_kernel_thread(fn, arg, name);	\
 	}							\
     } while (0)
 
@@ -178,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;		\
@@ -244,7 +254,7 @@ struct v3_os_hooks {
 
     unsigned int (*get_cpu_khz)(void);
 
-    void (*start_kernel_thread)(int (*fn)(void * arg), char * thread_name); 
+    void (*start_kernel_thread)(int (*fn)(void * arg), void * arg, char * thread_name); 
 
     void (*yield_cpu)(void); 
 };
@@ -263,8 +273,13 @@ struct v3_vm_config {
 
 
     int enable_profiling;
+    int enable_nested_paging;
+
+    int enable_pci;
+    
+    int use_ram_cd;
+    int use_ram_hd;
 
-    int use_ramdisk;
     void * ramdisk;
     int ramdisk_size;
 };