/* NOTE: Do not use EFI_SIZE_TO_PAGES because it handles UINTN only. */
STATIC UINT64 EfiSizeToPages(IN UINT64 Size)
/* NOTE: Do not use EFI_SIZE_TO_PAGES because it handles UINTN only. */
STATIC UINT64 EfiSizeToPages(IN UINT64 Size)
{
  return RShiftU64 (Size, EFI_PAGE_SHIFT) + ((((UINTN)Size) & EFI_PAGE_MASK) ? 1 : 0);
}