From b8333a5155d1231dc1e76762de6ece23ea702d8a Mon Sep 17 00:00:00 2001
From: Gabe Black <gblack@eecs.umich.edu>
Date: Sun, 19 Apr 2009 04:15:18 -0700
Subject: [PATCH] X86: Actually put the PCI INTA entry into the MP tables.

---
 configs/common/FSConfig.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configs/common/FSConfig.py b/configs/common/FSConfig.py
index f1b83a99f..974003005 100644
--- 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',