X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_stubs.c;h=22ae6ef5f8758e50ef9e8b732ac93d7d1cfccd03;hb=09149700a57ced21de742451c9302320ca4eebc2;hp=c6b76cb7acacf55dc2ea2ea3a00400ed58d8c0bf;hpb=28b1d0ae6db40cb3e1f5a9b3596b625d2f2af0e4;p=palacios.git

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
index c6b76cb..22ae6ef 100644
--- a/palacios/src/geekos/vmm_stubs.c
+++ b/palacios/src/geekos/vmm_stubs.c
@@ -65,6 +65,7 @@ int hook_irq_stub(struct guest_info * info, int irq) {
     return -1;
   }
 
+  SerialPrint("Hooking IRQ: %d (vm=0x%x)\n", irq, info);
   irq_map[irq] = info;
   Install_IRQ(irq, pic_intr_handler);
   Enable_IRQ(irq);