/** @file\r
*\r
-* Copyright (c) 2011-2014, ARM Limited. All rights reserved.\r
+* Copyright (c) 2011-2016, ARM Limited. All rights reserved.\r
*\r
* This program and the accompanying materials\r
* are licensed and made available under the terms and conditions of the BSD License\r
#include <ArmPlatform.h>\r
\r
// Number of Virtual Memory Map Descriptors\r
-#define MAX_VIRTUAL_MEMORY_MAP_DESCRIPTORS 6\r
+#define MAX_VIRTUAL_MEMORY_MAP_DESCRIPTORS 8\r
\r
// DDR attributes\r
#define DDR_ATTRIBUTES_CACHED ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK\r
VirtualMemoryTable[Index].Length = 0;\r
VirtualMemoryTable[Index].Attributes = (ARM_MEMORY_REGION_ATTRIBUTES)0;\r
\r
+ ASSERT (Index < MAX_VIRTUAL_MEMORY_MAP_DESCRIPTORS);\r
*VirtualMemoryMap = VirtualMemoryTable;\r
}\r