/* This API provides a way to allocate memory for page table. */
VOID* AllocatePageTableMemory(IN UINTN Pages)
/* This API provides a way to allocate memory for page table. */
VOID* AllocatePageTableMemory(IN UINTN Pages)
{
  VOID  *Address;
  Address = AllocatePages (Pages);
  if (Address != NULL) {
    ZeroMem (Address, EFI_PAGES_TO_SIZE (Pages));
  }
  return Address;
}