[SeaBIOS] Re: [PATCH 1/4] add debug when we set pci_pad_mem64

[Gerd Hoffmann]

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