Hi,

> pcimem64_start = (RamSizeOver4G + pcimem64_size) & ~(pcimem64_size-1);

> I guess it would be proper if pcimem64_start will be set in this way:
> pcimem64_start = ALIGN(0x100000000LL + RamSizeOver4G, pcimem64_size);

Indeed.

> Probably the correct value of the length of the PCI resource window should be 
> set as
> len = pcimem_end - pcimem_start?

Yes.

Updated patches pushed to git://git.kraxel.org/seabios pci64

cheers,
  Gerd


_______________________________________________
SeaBIOS mailing list
[email protected]
http://www.seabios.org/mailman/listinfo/seabios

Reply via email to