X86: Actually put the PCI INTA entry into the MP tables.

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index f1b83a99f3a36c0eebe8dbd61fa8ae88e4a50b9e..974003005e26507d4e00a131f966a03273a7e8b8 100644 (file)
--- a/configs/common/FSConfig.py
+++ b/configs/common/FSConfig.py
@@ -225,6 +225,7 @@ def makeX86System(mem_mode, mdesc = None, self = None):
             source_bus_irq = 0 + (4 << 2),
             dest_io_apic_id = io_apic.id,
             dest_io_apic_intin = 16)
+    self.intel_mp_table.add_entry(pci_dev4_inta);
     assign_8259_0_to_apic = X86IntelMPIOIntAssignment(
             interrupt_type = 'ExtInt',
             polarity = 'ConformPolarity',