diff --git a/src/arch/i386/core/pci_autoboot.c b/src/arch/i386/core/pci_autoboot.c index bbb40277..5e6197e2 100644 --- a/src/arch/i386/core/pci_autoboot.c +++ b/src/arch/i386/core/pci_autoboot.c @@ -34,8 +34,10 @@ uint16_t __bss16 ( autoboot_busdevfn ); */ static void pci_autoboot_init ( void ) { - autoboot_device.bus_type = BUS_TYPE_PCI; - autoboot_device.location = autoboot_busdevfn; + if ( autoboot_busdevfn ) { + autoboot_device.bus_type = BUS_TYPE_PCI; + autoboot_device.location = autoboot_busdevfn; + } } /** PCI autoboot device initialisation function */