[SeaBIOS] [PATCH 11/12] Migrate 64bit entries to 64bit pci regions

[Gerd Hoffmann]

  Hi,

> Is this just a matter of removing the "if (pci_bdf_to_bus(pci->bdf) !=
> 0) break" from pci_bios_init_devices()?

Seems to do the trick, at least the disks connected appear in the boot
menu now and the seabios log file looks sane.

The guest kernel has no virtio-scsi drivers though, need to update it
for more testing.

> The code should probably handle the irq swizzling that pci bridges do
> though.

i.e. add bridge handling to pci_slot_get_irq() ?

cheers,
  Gerd