reworked the interrupt injection to be guest specific

[palacios.git] / geekos / include / geekos / vmm_stubs.h

diff --git a/geekos/include/geekos/vmm_stubs.h b/geekos/include/geekos/vmm_stubs.h
index b7cea63..b56c114 100644 (file)
--- a/geekos/include/geekos/vmm_stubs.h
+++ b/geekos/include/geekos/vmm_stubs.h
@@ -46,7 +46,7 @@ int ack_irq(int irq);
 
 
 
-int geekos_hook_interrupt_new(uint_t irq, void *opaque);
+int geekos_hook_interrupt(struct guest_info * info, uint_t irq);
 
 
 unsigned int get_cpu_khz();