X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm.h;h=2da7ee26f7b8294304d7a7bea3efeec7d01cc327;hp=2d32cbc2c605d3c004daf5a06463ffe3d1d2d3fe;hb=52e81251f82ccaf516e3ed626c8abbcc9fbe3f41;hpb=19b2e4b4ce85ae4e683a3ede33360bdf7547b069

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 2d32cbc..2da7ee2 100644
--- a/palacios/include/palacios/vmm.h
+++ b/palacios/include/palacios/vmm.h
@@ -198,6 +198,9 @@ void v3_yield(struct guest_info * info);
 void v3_yield_cond(struct guest_info * info);
 
 
+void v3_interrupt_cpu(struct guest_info * vm, int logical_cpu);
+
+
 #endif //!__V3VEE__
 
 
@@ -218,6 +221,8 @@ struct v3_os_hooks {
     void *(*paddr_to_vaddr)(void *addr);
     void *(*vaddr_to_paddr)(void *addr);
 
+    void (*interrupt_cpu)(struct guest_info * vm, int logical_cpu);
+
     int (*hook_interrupt)(struct guest_info * vm, unsigned int irq);
 
     int (*ack_irq)(int irq);