Fix x86 PCI initialization

git-svn-id: svn://coreboot.org/openbios/openbios-devel@438 f158a5a8-5612-0410-a976-696ce0be7e32
This commit is contained in:
Blue Swirl
2009-02-02 17:06:37 +00:00
parent c39ebf65f7
commit d74b4e50cb

View File

@@ -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