[SeaBIOS] [Seabios] [PATCH 0/3] 64bit PCI BARs allocations

[Alexey Korolev]

Hi,

There were a number of requests about support of 64bit PCI BAR allocations.

Also we have observed the issue on guests with older linux version 
(2.6.18): if we
have a 64bit BAR allocated within first 4GB, the OS may hang during 
start process.
(I guess it is an OS bug, but we need to take care of this).

This patch addresses these two issues and allows 64bit BARs to be 
allocated in ranges
above 4GB.
Patch consists of three parts:
1. Add new range above 4GB in _CRS table to let Windows 2008 work 
properly. Thanks
a lot to Michael S. Triskin for this brilliant idea.
2. Added new PCI_REGION_TYPE_PREFMEM_64 region type in pciinit and changed
types of variables.
3. Take care about PCI devices with 64bit BARs on secondary buses.

Patches have been tested on several configurations which includes linux 
2.6.18 - 3.0 &
windows 2008. Everything works quite well.