Symbol: EFI_PAGE_MASK
sys/sys/efi-edk2.h
70
#undef EFI_PAGE_MASK
sys/sys/efi.h
36
#define EFI_PAGE_MASK (EFI_PAGE_SIZE - 1)