X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_stubs.c;h=1e6a3a35e7f623b027d97257b9ebbcff7e60a629;hb=a4b341afa075a6620dd087ee3a8ed850730c05c7;hp=15ae58902d425a2ce0f45b641be20eebab661f28;hpb=645c766b13d15fd70cd360e577eac1f62e07149f;p=palacios.releases.git

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
index 15ae589..1e6a3a3 100644
--- a/palacios/src/geekos/vmm_stubs.c
+++ b/palacios/src/geekos/vmm_stubs.c
@@ -104,7 +104,11 @@ int hook_irq_stub(struct guest_info * info, int irq) {
   SerialPrint("Hooking IRQ: %d (vm=0x%x)\n", irq, info);
   irq_map[irq] = info;
   volatile void *foo = pic_intr_handler;
-  foo=0;
+
+  /* This is disabled for the time being */
+  foo = 0;
+
+
   Disable_IRQ(irq);
   Install_IRQ(irq, pic_intr_handler);
   Enable_IRQ(irq);