/* This Virtual Memory Map is used by MemoryInitPei Module to initialize the MMU on your platform. */
VOID EFIAPI ArmVirtGetMemoryMap(OUT ARM_MEMORY_REGION_DESCRIPTOR **VirtualMemoryMap)
/* This Virtual Memory Map is used by MemoryInitPei Module to initialize the MMU on your platform. */
VOID EFIAPI ArmVirtGetMemoryMap(OUT ARM_MEMORY_REGION_DESCRIPTOR **VirtualMemoryMap)
{
  EFI_PHYSICAL_ADDRESS  TopOfAddressSpace;
  ASSERT (VirtualMemoryMap != NULL);
  TopOfAddressSpace = LShiftU64 (1ULL, ArmGetPhysicalAddressBits ());
  mVirtualMemoryTable[0].PhysicalBase = 0x0;
  mVirtualMemoryTable[0].VirtualBase  = 0x0;
  mVirtualMemoryTable[0].Length       = TopOfAddressSpace;
  mVirtualMemoryTable[0].Attributes   = ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK;
  mVirtualMemoryTable[1].PhysicalBase = 0x0;
  mVirtualMemoryTable[1].VirtualBase  = 0x0;
  mVirtualMemoryTable[1].Length       = 0x0;
  mVirtualMemoryTable[1].Attributes   = 0x0;
  *VirtualMemoryMap = mVirtualMemoryTable;
}