X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm_stubs.h;h=d6a84413cd5dd749385950f9715c2f54b1b11dfa;hb=ace8f0532fa5650c6642a3a7174f3aa19b09095a;hp=06e71896da575458995588927dad03b52445584f;hpb=df58bd3c484a52b1e166dc28e7b9b6fd94e5a023;p=palacios.releases.git

diff --git a/palacios/include/geekos/vmm_stubs.h b/palacios/include/geekos/vmm_stubs.h
index 06e7189..d6a8441 100644
--- a/palacios/include/geekos/vmm_stubs.h
+++ b/palacios/include/geekos/vmm_stubs.h
@@ -14,4 +14,6 @@ void VMM_Free(void * addr);
 
 void * Identity(void *addr);
 
+void Hook_IRQ(int irq, void (*handler)());
+
 #endif