X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=4f5bf21518e04cc411f32d9cdbf1f57c6bd4c392;hb=f0ca08d07c5cf265dba71c55cb745883baa7d1f4;hp=67b60c88e931a6dda16216be80f4e04ae98b3bca;hpb=a04b0778a7f74005560b99255de2c6d2df4d5292;p=palacios.git

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 67b60c8..4f5bf21 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -199,9 +199,9 @@ struct guest_info;
 	    while(1);							\
 	}								\
     } while(0)								\
-	
 
 
+#ifdef CONFIG_VNET
 #define V3_lapic_send_ipi(cpu, vector)							\
    do {							\
 	extern struct v3_os_hooks * os_hooks;			\
@@ -210,6 +210,7 @@ struct guest_info;
 	}							\
     } while (0)
 
+#endif
 
 
 typedef enum v3_vm_class {V3_INVALID_VM, V3_PC_VM, V3_CRAY_VM} v3_vm_class_t;
@@ -276,7 +277,9 @@ struct v3_os_hooks {
     void (*call_on_cpu)(int logical_cpu, void (*fn)(void * arg), void * arg);
     void (*start_thread_on_cpu)(int logical_cpu, int (*fn)(void * arg), void * arg, char * thread_name);
 
+#ifdef CONFIG_VNET
     void (*lapic_send_ipi)(unsigned int cpu, unsigned int vector);
+#endif
 };