Fix the spelling of EFI_PAGE_SIZE

[andrew]

Summary

We assume EFI_PAGE_SIZE is the same as PAGE_SIZE, however this may not
be the case. Use the former when working with a list of pages from the
UEFI firmware so the correct size is used.

Sponsored by: The FreeBSD Foundation

[imp]

These look good... but where's EFI_PAGE_SIZE defined? And does it need to be a run-time thing?
It's a good fix, but I'd like to understand the larger context :)

[kevans]

In D34510#781812, @imp wrote:

These look good... but where's EFI_PAGE_SIZE defined? And does it need to be a run-time thing?
It's a good fix, but I'd like to understand the larger context :)

AFAIK the spec doesn't allow any flexibility here, every arch is forced to 4k pages to be compliant (see various mmu configuration verbiages in "Calling Conventions")

[imp]

In D34510#781816, @kevans wrote:

In D34510#781812, @imp wrote:

These look good... but where's EFI_PAGE_SIZE defined? And does it need to be a run-time thing?
It's a good fix, but I'd like to understand the larger context :)

AFAIK the spec doesn't allow any flexibility here, every arch is forced to 4k pages to be compliant (see various mmu configuration verbiages in "Calling Conventions")

oh! It's so *OUR* PAGE_SIZE to change.... :) Thanks for the pointers... my brain glossed over them before....