Symbol: EFI_PAGE_SIZE
usr/src/boot/efi/include/Uefi/UefiBaseType.h
182
#define EFI_PAGE_SIZE SIZE_4KB
usr/src/boot/sys/sys/efi.h
35
#define EFI_PAGE_SIZE (1 << EFI_PAGE_SHIFT)