X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_stubs.c;h=f4196136745d0105b27cd782d71fc7752903068f;hb=cbf35ad72de3a7a1f6eee3e8b2b35d7f31df22a5;hp=0dbe08137bc1394fc6c3aeb946de882944a2a723;hpb=f7cc83b3bae64c853f5b7b63e2830b1ea92dfed9;p=palacios.git

diff --git a/palacios/src/geekos/vmm_stubs.c b/palacios/src/geekos/vmm_stubs.c
index 0dbe081..f419613 100644
--- a/palacios/src/geekos/vmm_stubs.c
+++ b/palacios/src/geekos/vmm_stubs.c
@@ -112,7 +112,7 @@ static void translate_intr_handler(struct Interrupt_State *state)
   mystate.should_ack=0;
   mystate.opaque=my_opaque[mystate.irq];
 
-  PrintBoth("translate_intr_handler: opaque=0x%x\n",mystate.opaque);
+  //  PrintBoth("translate_intr_handler: opaque=0x%x\n",mystate.opaque);
 
   deliver_interrupt_to_vmm(&mystate);