a guest kernel that works equally well on the dell+HP

[palacios.git] / palacios / src / geekos / vmm_stubs.c

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
index c6b76cb..22ae6ef 100644 (file)
--- 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);