From d74b4e50cb67195852940ac92cd0dc2c3b37f6fc Mon Sep 17 00:00:00 2001
From: Blue Swirl <blauwirbel@gmail.com>
Date: Mon, 2 Feb 2009 17:06:37 +0000
Subject: [PATCH] Fix x86 PCI initialization

git-svn-id: svn://coreboot.org/openbios/openbios-devel@438 f158a5a8-5612-0410-a976-696ce0be7e32
---
 arch/x86/openbios.c | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/arch/x86/openbios.c b/arch/x86/openbios.c
index c279d05..fb4b689 100644
--- a/arch/x86/openbios.c
+++ b/arch/x86/openbios.c
@@ -13,6 +13,7 @@
 #include "openbios/kernel.h"
 #include "openbios/stack.h"
 #include "openbios/drivers.h"
+#include "openbios/pci.h"
 #include "sys_info.h"
 #include "openbios.h"
 #include "relocate.h"
@@ -21,6 +22,15 @@ void boot(void);
 
 static unsigned char intdict[256 * 1024];
 
+#ifdef CONFIG_DRIVER_PCI
+static const pci_arch_t default_pci_host = {
+    .name = "Intel,i440FX",
+    .vendor_id = PCI_VENDOR_ID_INTEL,
+    .device_id = PCI_DEVICE_ID_INTEL_82441,
+    .io_base = 0x1000,
+};
+#endif
+
 static void init_memory(void)
 {
 	/* push start and end of available memory to the stack
@@ -41,6 +51,7 @@ arch_init( void )
 
 	modules_init();
 #ifdef CONFIG_DRIVER_PCI
+        arch = &default_pci_host;
 	ob_pci_init();
 #endif
 #ifdef CONFIG_DRIVER_IDE