Fix the spelling of EFI_PAGE_SIZE
authorAndrew Turner <andrew@FreeBSD.org>
Wed, 9 Mar 2022 12:59:01 +0000 (12:59 +0000)
committerAndrew Turner <andrew@FreeBSD.org>
Thu, 10 Mar 2022 10:43:54 +0000 (10:43 +0000)
commit9cf15aefb9d6f97687ae4a497917be36ac125558
treee91979d649ac80d7879995f3798fe079f17b48d8
parente3f7087489c55decf54161b25a5db20c2c93ff42
Fix the spelling of EFI_PAGE_SIZE

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.

This will be needed on arm64 where PAGE_SIZE could be 16k or 64k in the
future. The other architectures have been updated to be consistent.

Reviewed by: imp
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D34510
sys/amd64/amd64/machdep.c
sys/arm/arm/machdep_boot.c
sys/arm64/arm64/machdep.c