/* NOTE: Do not use EFI_PAGES_TO_SIZE because it handles UINTN only. */
STATIC UINT64 EfiPagesToSize(IN UINT64 Pages)
/* NOTE: Do not use EFI_PAGES_TO_SIZE because it handles UINTN only. */
STATIC UINT64 EfiPagesToSize(IN UINT64 Pages)
{
  return LShiftU64 (Pages, EFI_PAGE_SHIFT);
}