squashed debug messages

[palacios.git] / palacios / src / devices / apic.c

diff --git a/palacios/src/devices/apic.c b/palacios/src/devices/apic.c
index d3fee16..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;
                }
            }
@@ -808,6 +814,8 @@ static int apic_get_intr_number(void * private_data) {
 
 static int apic_raise_intr(void * private_data, int irq) {
 #ifdef CRAY_XT
+    // The Seastar is connected directly to the LAPIC via LINT0 on the ICC bus
+
     if (irq == 238) {
        struct vm_device * dev = (struct vm_device *)private_data;
        struct apic_state * apic = (struct apic_state *)dev->private_data;