Symbol: EFI_PAGE_SIZE
sys/sys/efi-edk2.h
69
#undef EFI_PAGE_SIZE
sys/sys/efi.h
35
#define EFI_PAGE_SIZE (1 << EFI_PAGE_SHIFT)