On Fri, Nov 02, 2012 at 01:42:08PM +0800, Xudong Hao wrote:
64 bit bar sizing and MMIO allocation. The 64 bit window is placed above high memory, top down from the end of guest physical address space.
Your patch seems to be against an old version of SeaBIOS. The latest SeaBIOS already supports 64bit pci bars.
-Kevin