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