Update on VNET

[palacios.git] / palacios / include / palacios / vmm.h

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index bbc4eba..67b60c8 100644 (file)
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -202,6 +202,14 @@ struct guest_info;
        
 
 
+#define V3_lapic_send_ipi(cpu, vector)                                                 \
+   do {                                                        \
+       extern struct v3_os_hooks * os_hooks;                   \
+       if ((os_hooks) && (os_hooks)->lapic_send_ipi) {         \
+           (os_hooks)->lapic_send_ipi(cpu, vector);                    \
+       }                                                       \
+    } while (0)
+
 
 
 typedef enum v3_vm_class {V3_INVALID_VM, V3_PC_VM, V3_CRAY_VM} v3_vm_class_t;
@@ -267,12 +275,9 @@ struct v3_os_hooks {
     void (*interrupt_cpu)(struct v3_vm_info * vm, int logical_cpu);
     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);
-};
-
-
-
-
 
+    void (*lapic_send_ipi)(unsigned int cpu, unsigned int vector);
+};
 
 
 //