added cpu interruption interface

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

diff --git a/palacios/include/palacios/vmm.h b/palacios/include/palacios/vmm.h
index 2d32cbc..2da7ee2 100644 (file)
--- 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);