> > > PCI: BIOS reporting unknown device 00:48
> > > PCI: Device 00:48 not found by BIOS
> > > PCI: BIOS reporting unknown device 00:50
> > > PCI: Device 00:50 not found by BIOS
> >
> > Please try this fix.
> >
> > Have a nice fortnight
> > --
> > Martin `MJ' Mares <mj@ucw.cz> http://atrey.karlin.mff.cuni.cz/~mj/
> > Faculty of Math and Physics, Charles University, Prague, Czech Rep., Earth
> > "Spelling checkers at maximum! Fire!"
> >
> >
> > --- arch/i386/kernel/pci-pc.c.mj Fri Jan 7 16:36:07 2000
> > +++ arch/i386/kernel/pci-pc.c Fri Jan 7 16:36:07 2000
> > @@ -633,9 +633,8 @@
> > unsigned char bus, devfn;
> >
> > DBG("PCI: Sorting device list...\n");
> > - while (pci_devices.next != &pci_devices) {
> > + while (!list_empty(&pci_devices)) {
> > ln = pci_devices.next;
> > - list_del(ln);
> > dev = pci_dev_g(ln);
> > idx = found = 0;
> > while (pci_bios_find_device(dev->vendor, dev->device, idx, &bus, &devfn) == PCIBIOS_SUCCESSFUL) {
> >
>
> Looks okay now:
Somehow I missed the initial post in this thread, but I found a similar
problem for which the included fix was appropriate. I hope this gets
included in the next revision.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Sat Jan 15 2000 - 21:00:11 EST