@@ -439,6 +439,8 @@ static int apic_find_dest(uint8_t dest)
return i;
}
+ fprintf(stderr, "%s:%d no apic found for dest %d\n",
+ __FUNCTION__, __LINE__, dest);
return -1;
}
@@ -769,6 +771,8 @@ static void apic_send_msi(target_phys_addr_t addr, uint32 data)
uint8_t trigger_mode = (data >> MSI_DATA_TRIGGER_SHIFT) & 0x1;
uint8_t delivery = (data >> MSI_DATA_DELIVERY_MODE_SHIFT) & 0x7;
/* XXX: Ignore redirection hint. */
+ fprintf(stderr, "%s:%d dest %d vector %d dest_mode %d trigger_mode %d delivery %d\n",
+ __FUNCTION__, __LINE__, dest, vector, dest_mode, trigger_mode, delivery);
apic_deliver_irq(dest, dest_mode, delivery, vector, 0, trigger_mode);
}