From 5fb62168f6e93c481f4f4a0ce3029311cc53aae7 Mon Sep 17 00:00:00 2001
From: Stefan Reinauer <stepan@coreboot.org>
Date: Thu, 16 Dec 2010 23:52:04 +0000
Subject: [PATCH] don't hardcode CONFIG_PC80_SYSTEM Signed-off-by: Stefan
 Reinauer <stepan@coreboot.org> Acked-by: Stefan Reinauer
 <stepan@coreboot.org>

git-svn-id: svn://svn.coreboot.org/coreboot/trunk@6187 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
---
 src/devices/pci_device.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/devices/pci_device.c b/src/devices/pci_device.c
index ed066900e4..0b39faa8b2 100644
--- a/src/devices/pci_device.c
+++ b/src/devices/pci_device.c
@@ -48,7 +48,6 @@
 #if CONFIG_CARDBUS_PLUGIN_SUPPORT == 1
 #include <device/cardbus.h>
 #endif
-#define CONFIG_PC80_SYSTEM 1
 #if CONFIG_PC80_SYSTEM == 1
 #include <pc80/i8259.h>
 #endif
@@ -1262,9 +1261,11 @@ void pci_assign_irqs(unsigned bus, unsigned slot,
 		printk(BIOS_DEBUG, "  Readback = %d\n", irq);
 #endif
 
+#if CONFIG_PC80_SYSTEM == 1
 		/* Change to level triggered. */
 		i8259_configure_irq_trigger(pIntAtoD[line - 1],
 					    IRQ_LEVEL_TRIGGERED);
+#endif
 	}
 }
 #endif