X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_stubs.c;h=28f1126170a0fcd360bb2ee8c0af941703eb5a89;hp=6a436b84be08f12ac26c31b6cff8655b167cee83;hb=624a05de781c51ed5d34a6db2583f884918a9594;hpb=43c556d146e12c7f35612e3a8cf6420b42fdef70

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
index 6a436b8..28f1126 100644
--- a/palacios/src/geekos/vmm_stubs.c
+++ b/palacios/src/geekos/vmm_stubs.c
@@ -73,8 +73,10 @@ int hook_irq_stub(struct guest_info * info, int irq) {
 
   SerialPrint("Hooking IRQ: %d (vm=0x%x)\n", irq, info);
   irq_map[irq] = info;
-  Install_IRQ(irq, pic_intr_handler);
-  Enable_IRQ(irq);
+  volatile void *foo = pic_intr_handler;
+  foo=0;
+  //  Install_IRQ(irq, pic_intr_handler);
+  // Enable_IRQ(irq);
   return 0;
 }