}\r
\r
// Create a new translation table\r
- TranslationTable = (UINT64*)AllocateAlignedPages (EFI_SIZE_TO_PAGES(TT_ENTRY_COUNT * sizeof(UINT64)), TT_ALIGNMENT_DESCRIPTION_TABLE);\r
+ TranslationTable = AllocatePages (1);\r
if (TranslationTable == NULL) {\r
return NULL;\r
}\r
//\r
\r
// Create a new translation table\r
- TranslationTable = (UINT64*)AllocateAlignedPages (EFI_SIZE_TO_PAGES(TT_ENTRY_COUNT * sizeof(UINT64)), TT_ALIGNMENT_DESCRIPTION_TABLE);\r
+ TranslationTable = AllocatePages (1);\r
if (TranslationTable == NULL) {\r
return NULL;\r
}\r
)\r
{\r
VOID* TranslationTable;\r
- UINTN TranslationTablePageCount;\r
UINT32 TranslationTableAttribute;\r
ARM_MEMORY_REGION_DESCRIPTOR *MemoryTableEntry;\r
UINT64 MaxAddress;\r
ArmSetTCR (TCR);\r
\r
// Allocate pages for translation table\r
- TranslationTablePageCount = EFI_SIZE_TO_PAGES(RootTableEntryCount * sizeof(UINT64));\r
- TranslationTable = (UINT64*)AllocateAlignedPages (TranslationTablePageCount, TT_ALIGNMENT_DESCRIPTION_TABLE);\r
+ TranslationTable = AllocatePages (1);\r
if (TranslationTable == NULL) {\r
return RETURN_OUT_OF_RESOURCES;\r
}\r
return RETURN_SUCCESS;\r
\r
FREE_TRANSLATION_TABLE:\r
- FreePages (TranslationTable, TranslationTablePageCount);\r
+ FreePages (TranslationTable, 1);\r
return Status;\r
}\r
\r