\r
--*/\r
\r
+#include <Library/MemoryAllocationLib.h>\r
#include "CpuDxe.h"\r
\r
#define TT_ATTR_INDX_INVALID ((UINT32)~0)\r
}\r
}\r
\r
+ FreePool (MemorySpaceMap);\r
+\r
return BaseAddress + (EntryCount * TT_ADDRESS_AT_LEVEL(TableLevel));\r
}\r
\r
EndAddressGcdRegion - BaseAddressGcdRegion,\r
PageAttributeToGcdAttribute (PageAttribute));\r
\r
+ FreePool (MemorySpaceMap);\r
+\r
return EFI_SUCCESS;\r
}\r
\r
Copyright (c) 2009, Hewlett-Packard Company. All rights reserved.<BR>\r
Portions copyright (c) 2010, Apple Inc. All rights reserved.<BR>\r
+Portions copyright (c) 2013, ARM Ltd. All rights reserved.<BR>\r
\r
-This program and the accompanying materials \r
-are licensed and made available under the terms and conditions of the BSD License \r
-which accompanies this distribution. The full text of the license may be found at \r
-http://opensource.org/licenses/bsd-license.php \r
- \r
-THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, \r
-WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. \r
+This program and the accompanying materials\r
+are licensed and made available under the terms and conditions of the BSD License\r
+which accompanies this distribution. The full text of the license may be found at\r
+http://opensource.org/licenses/bsd-license.php\r
+\r
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
\r
\r
--*/\r
\r
+#include <Library/MemoryAllocationLib.h>\r
#include "CpuDxe.h"\r
\r
// First Level Descriptors\r
SetGcdMemorySpaceAttributes (MemorySpaceMap, NumberOfDescriptors, NextRegionBase, NextRegionLength, GcdAttributes);\r
}\r
\r
+ FreePool (MemorySpaceMap);\r
+\r
return EFI_SUCCESS;\r
}\r
\r