On Thu, Jun 13, 2024 at 06:00:29PM GMT, John Levon wrote:
> This is an interesting enough setting to add a dprintf() for.

Indeed.

> -    if (CPUPhysBits >= 36 && CPULongMode && RamSizeOver4G)
> +    if (CPUPhysBits >= 36 && CPULongMode && RamSizeOver4G) {
> +        dprintf(1, "setting pci_pad_mem64=1\n");

Should be more descriptive, so people can have an idea what this means
without looking at the source code.  Something along the lines of
"enabling 64-bit pci mmio window".

take care,
  Gerd

_______________________________________________
SeaBIOS mailing list -- seabios@seabios.org
To unsubscribe send an email to seabios-le...@seabios.org

Reply via email to