+ // PCI Root Complex\r
+ VirtualMemoryTable[++Index].PhysicalBase = PcdGet64 (PcdPcieControlBaseAddress);\r
+ VirtualMemoryTable[Index].VirtualBase = PcdGet64 (PcdPcieControlBaseAddress);\r
+ VirtualMemoryTable[Index].Length = SIZE_128KB;\r
+ VirtualMemoryTable[Index].Attributes = ARM_MEMORY_REGION_ATTRIBUTE_DEVICE;\r
+\r
+ //\r
+ // PCI Configuration Space\r
+ //\r
+ VirtualMemoryTable[++Index].PhysicalBase = PcdGet64 (PcdPciConfigurationSpaceBaseAddress);\r
+ VirtualMemoryTable[Index].VirtualBase = PcdGet64 (PcdPciConfigurationSpaceBaseAddress);\r
+ VirtualMemoryTable[Index].Length = PcdGet64 (PcdPciConfigurationSpaceSize);\r
+ VirtualMemoryTable[Index].Attributes = ARM_MEMORY_REGION_ATTRIBUTE_DEVICE;\r
+\r
+ //\r
+ // PCI Memory Space\r
+ //\r
+ VirtualMemoryTable[++Index].PhysicalBase = PcdGet32 (PcdPciMmio32Base);\r
+ VirtualMemoryTable[Index].VirtualBase = PcdGet32 (PcdPciMmio32Base);\r
+ VirtualMemoryTable[Index].Length = PcdGet32 (PcdPciMmio32Size);\r
+ VirtualMemoryTable[Index].Attributes = ARM_MEMORY_REGION_ATTRIBUTE_DEVICE;\r
+\r
+ //\r
+ // 64-bit PCI Memory Space\r
+ //\r
+ VirtualMemoryTable[++Index].PhysicalBase = PcdGet64 (PcdPciMmio64Base);\r
+ VirtualMemoryTable[Index].VirtualBase = PcdGet64 (PcdPciMmio64Base);\r
+ VirtualMemoryTable[Index].Length = PcdGet64 (PcdPciMmio64Size);\r
+ VirtualMemoryTable[Index].Attributes = ARM_MEMORY_REGION_ATTRIBUTE_DEVICE;\r
+\r