Horrendous hack to ack seastar IRQs....

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index 0bb591a..0ce5c77 100644 (file)
--- a/palacios/src/devices/apic.c
+++ b/palacios/src/devices/apic.c
@@ -289,6 +289,12 @@ static int apic_do_eoi(struct apic_state * apic) {
                uchar_t flag = 0x1 << j;
                if ((*svc_major) & flag) {
                    *svc_major &= ~flag;
+
+#ifdef CRAY_XT
+                   if (((i * 8) + j) == 238) {
+                       V3_ACK_IRQ(238);
+                   }
+#endif
                    return 0;
                }
            }

diff --git a/palacios/src/palacios/vmm_intr.c b/palacios/src/palacios/vmm_intr.c
index 6ff14cd..e3878e2 100644 (file)
--- a/palacios/src/palacios/vmm_intr.c
+++ b/palacios/src/palacios/vmm_intr.c
@@ -101,11 +101,6 @@ int v3_hook_irq(struct guest_info * info,
 
 
 static int passthrough_irq_handler(struct guest_info * info, struct v3_interrupt * intr, void * priv_data) {
-
-    if (intr->should_ack == 1) {
-       V3_ACK_IRQ(intr->irq);
-    }
-
     PrintDebug("[passthrough_irq_handler] raise_irq=%d (guest=0x%p)\n", 
               intr->irq, (void *)info);