This is a work-around for SMP support.

Change-Id: I4230f1d029833ffc42940003c09499a64cf46500

diff --git a/target-i386/hax-all.c b/target-i386/hax-all.c
index 9b9449f..29ff213 100644 (file)
--- a/target-i386/hax-all.c
+++ b/target-i386/hax-all.c
@@ -595,8 +595,8 @@ static int hax_vcpu_interrupt(CPUArchState *env)
      * Try to inject an interrupt if the guest can accept it
      * Unlike KVM, HAX kernel check for the eflags, instead of qemu
      */
-    if (ht->ready_for_interrupt_injection &&
-      (cpu->interrupt_request & CPU_INTERRUPT_HARD))
+    if (ht->ready_for_interrupt_injection /*&&
+      (cpu->interrupt_request & CPU_INTERRUPT_HARD)*/)
     {
         int irq;