2011-02-02 23:35:30 +01:00
|
|
|
/** @file
|
|
|
|
* File managing the MMU for ARMv7 architecture
|
|
|
|
*
|
2012-02-28 18:20:34 +01:00
|
|
|
* Copyright (c) 2011-2012, ARM Limited. All rights reserved.
|
2011-02-02 23:35:30 +01:00
|
|
|
*
|
|
|
|
* This program and the accompanying materials
|
|
|
|
* are licensed and made available under the terms and conditions of the BSD License
|
|
|
|
* which accompanies this distribution. The full text of the license may be found at
|
|
|
|
* http://opensource.org/licenses/bsd-license.php
|
|
|
|
*
|
|
|
|
* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
|
|
|
|
* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
|
|
|
|
*
|
|
|
|
**/
|
|
|
|
|
|
|
|
#include <Uefi.h>
|
|
|
|
#include <Chipset/ArmV7.h>
|
|
|
|
#include <Library/BaseMemoryLib.h>
|
|
|
|
#include <Library/MemoryAllocationLib.h>
|
|
|
|
#include <Library/ArmLib.h>
|
|
|
|
#include <Library/BaseLib.h>
|
2011-03-31 13:23:55 +02:00
|
|
|
#include <Library/DebugLib.h>
|
2011-02-02 23:35:30 +01:00
|
|
|
#include "ArmV7Lib.h"
|
|
|
|
#include "ArmLibPrivate.h"
|
|
|
|
|
2011-03-31 13:23:55 +02:00
|
|
|
VOID
|
|
|
|
PopulateLevel2PageTable (
|
|
|
|
IN UINT32 *SectionEntry,
|
|
|
|
IN UINT32 PhysicalBase,
|
|
|
|
IN UINT32 RemainLength,
|
|
|
|
IN ARM_MEMORY_REGION_ATTRIBUTES Attributes
|
2011-09-27 18:31:20 +02:00
|
|
|
)
|
|
|
|
{
|
2011-03-31 13:23:55 +02:00
|
|
|
UINT32* PageEntry;
|
|
|
|
UINT32 Pages;
|
|
|
|
UINT32 Index;
|
|
|
|
UINT32 PageAttributes;
|
|
|
|
UINT32 SectionDescriptor;
|
|
|
|
UINT32 TranslationTable;
|
|
|
|
UINT32 BaseSectionAddress;
|
|
|
|
|
|
|
|
switch (Attributes) {
|
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK:
|
2012-05-02 22:00:54 +02:00
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_WRITE_BACK:
|
2011-03-31 13:23:55 +02:00
|
|
|
PageAttributes = TT_DESCRIPTOR_PAGE_WRITE_BACK;
|
|
|
|
break;
|
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_WRITE_THROUGH:
|
2012-05-02 22:00:54 +02:00
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_WRITE_THROUGH:
|
2011-03-31 13:23:55 +02:00
|
|
|
PageAttributes = TT_DESCRIPTOR_PAGE_WRITE_THROUGH;
|
|
|
|
break;
|
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_DEVICE:
|
2012-05-02 22:00:54 +02:00
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_DEVICE:
|
2011-03-31 13:23:55 +02:00
|
|
|
PageAttributes = TT_DESCRIPTOR_PAGE_DEVICE;
|
|
|
|
break;
|
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_UNCACHED_UNBUFFERED:
|
2012-05-02 22:00:54 +02:00
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_UNCACHED_UNBUFFERED:
|
2011-03-31 13:23:55 +02:00
|
|
|
PageAttributes = TT_DESCRIPTOR_PAGE_UNCACHED;
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
PageAttributes = TT_DESCRIPTOR_PAGE_UNCACHED;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Check if the Section Entry has already been populated. Otherwise attach a
|
|
|
|
// Level 2 Translation Table to it
|
|
|
|
if (*SectionEntry != 0) {
|
|
|
|
// The entry must be a page table. Otherwise it exists an overlapping in the memory map
|
|
|
|
if (TT_DESCRIPTOR_SECTION_TYPE_IS_PAGE_TABLE(*SectionEntry)) {
|
|
|
|
TranslationTable = *SectionEntry & TT_DESCRIPTOR_SECTION_PAGETABLE_ADDRESS_MASK;
|
|
|
|
} else if ((*SectionEntry & TT_DESCRIPTOR_SECTION_TYPE_MASK) == TT_DESCRIPTOR_SECTION_TYPE_SECTION) {
|
|
|
|
// Case where a virtual memory map descriptor overlapped a section entry
|
|
|
|
|
|
|
|
// Allocate a Level2 Page Table for this Section
|
|
|
|
TranslationTable = (UINTN)AllocatePages(EFI_SIZE_TO_PAGES(TRANSLATION_TABLE_PAGE_SIZE + TRANSLATION_TABLE_PAGE_ALIGNMENT));
|
|
|
|
TranslationTable = ((UINTN)TranslationTable + TRANSLATION_TABLE_PAGE_ALIGNMENT_MASK) & ~TRANSLATION_TABLE_PAGE_ALIGNMENT_MASK;
|
|
|
|
|
|
|
|
// Translate the Section Descriptor into Page Descriptor
|
|
|
|
SectionDescriptor = TT_DESCRIPTOR_PAGE_TYPE_PAGE;
|
|
|
|
SectionDescriptor |= TT_DESCRIPTOR_CONVERT_TO_PAGE_CACHE_POLICY(*SectionEntry,0);
|
|
|
|
SectionDescriptor |= TT_DESCRIPTOR_CONVERT_TO_PAGE_AP(*SectionEntry);
|
|
|
|
SectionDescriptor |= TT_DESCRIPTOR_CONVERT_TO_PAGE_XN(*SectionEntry,0);
|
|
|
|
SectionDescriptor |= TT_DESCRIPTOR_CONVERT_TO_PAGE_NG(*SectionEntry);
|
|
|
|
SectionDescriptor |= TT_DESCRIPTOR_CONVERT_TO_PAGE_S(*SectionEntry);
|
|
|
|
|
|
|
|
BaseSectionAddress = TT_DESCRIPTOR_SECTION_BASE_ADDRESS(*SectionEntry);
|
|
|
|
|
|
|
|
// Populate the new Level2 Page Table for the section
|
|
|
|
PageEntry = (UINT32*)TranslationTable;
|
|
|
|
for (Index = 0; Index < TRANSLATION_TABLE_PAGE_COUNT; Index++) {
|
|
|
|
PageEntry[Index] = TT_DESCRIPTOR_PAGE_BASE_ADDRESS(BaseSectionAddress + (Index << 12)) | SectionDescriptor;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Overwrite the section entry to point to the new Level2 Translation Table
|
|
|
|
*SectionEntry = (TranslationTable & TT_DESCRIPTOR_SECTION_PAGETABLE_ADDRESS_MASK) |
|
|
|
|
(IS_ARM_MEMORY_REGION_ATTRIBUTES_SECURE(Attributes) ? (1 << 3) : 0) |
|
|
|
|
TT_DESCRIPTOR_SECTION_TYPE_PAGE_TABLE;
|
|
|
|
} else {
|
|
|
|
// We do not support the other section type (16MB Section)
|
|
|
|
ASSERT(0);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
TranslationTable = (UINTN)AllocatePages(EFI_SIZE_TO_PAGES(TRANSLATION_TABLE_PAGE_SIZE + TRANSLATION_TABLE_PAGE_ALIGNMENT));
|
|
|
|
TranslationTable = ((UINTN)TranslationTable + TRANSLATION_TABLE_PAGE_ALIGNMENT_MASK) & ~TRANSLATION_TABLE_PAGE_ALIGNMENT_MASK;
|
|
|
|
|
|
|
|
ZeroMem ((VOID *)TranslationTable, TRANSLATION_TABLE_PAGE_SIZE);
|
|
|
|
|
|
|
|
*SectionEntry = (TranslationTable & TT_DESCRIPTOR_SECTION_PAGETABLE_ADDRESS_MASK) |
|
|
|
|
(IS_ARM_MEMORY_REGION_ATTRIBUTES_SECURE(Attributes) ? (1 << 3) : 0) |
|
|
|
|
TT_DESCRIPTOR_SECTION_TYPE_PAGE_TABLE;
|
|
|
|
}
|
|
|
|
|
|
|
|
PageEntry = ((UINT32 *)(TranslationTable) + ((PhysicalBase & TT_DESCRIPTOR_PAGE_INDEX_MASK) >> TT_DESCRIPTOR_PAGE_BASE_SHIFT));
|
|
|
|
Pages = RemainLength / TT_DESCRIPTOR_PAGE_SIZE;
|
|
|
|
|
|
|
|
for (Index = 0; Index < Pages; Index++) {
|
|
|
|
*PageEntry++ = TT_DESCRIPTOR_PAGE_BASE_ADDRESS(PhysicalBase) | PageAttributes;
|
|
|
|
PhysicalBase += TT_DESCRIPTOR_PAGE_SIZE;
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2011-02-02 23:35:30 +01:00
|
|
|
VOID
|
|
|
|
FillTranslationTable (
|
|
|
|
IN UINT32 *TranslationTable,
|
|
|
|
IN ARM_MEMORY_REGION_DESCRIPTOR *MemoryRegion
|
|
|
|
)
|
|
|
|
{
|
2011-03-31 13:23:55 +02:00
|
|
|
UINT32 *SectionEntry;
|
2011-02-02 23:35:30 +01:00
|
|
|
UINT32 Attributes;
|
|
|
|
UINT32 PhysicalBase = MemoryRegion->PhysicalBase;
|
2011-03-31 13:23:55 +02:00
|
|
|
UINT32 RemainLength = MemoryRegion->Length;
|
2011-02-02 23:35:30 +01:00
|
|
|
|
2011-03-31 13:23:55 +02:00
|
|
|
ASSERT(MemoryRegion->Length > 0);
|
|
|
|
|
2011-02-02 23:35:30 +01:00
|
|
|
switch (MemoryRegion->Attributes) {
|
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK:
|
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_WRITE_BACK(0);
|
|
|
|
break;
|
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_WRITE_THROUGH:
|
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_WRITE_THROUGH(0);
|
|
|
|
break;
|
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_DEVICE:
|
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_DEVICE(0);
|
|
|
|
break;
|
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_UNCACHED_UNBUFFERED:
|
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_UNCACHED(0);
|
|
|
|
break;
|
2012-05-02 22:00:54 +02:00
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_WRITE_BACK:
|
2011-02-02 23:35:30 +01:00
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_WRITE_BACK(1);
|
|
|
|
break;
|
2012-05-02 22:00:54 +02:00
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_WRITE_THROUGH:
|
2011-02-02 23:35:30 +01:00
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_WRITE_THROUGH(1);
|
|
|
|
break;
|
2012-05-02 22:00:54 +02:00
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_DEVICE:
|
2011-02-02 23:35:30 +01:00
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_DEVICE(1);
|
|
|
|
break;
|
2012-05-02 22:00:54 +02:00
|
|
|
case ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_UNCACHED_UNBUFFERED:
|
2011-02-02 23:35:30 +01:00
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_UNCACHED(1);
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
Attributes = TT_DESCRIPTOR_SECTION_UNCACHED(0);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2011-03-31 13:23:55 +02:00
|
|
|
// Get the first section entry for this mapping
|
|
|
|
SectionEntry = TRANSLATION_TABLE_ENTRY_FOR_VIRTUAL_ADDRESS(TranslationTable, MemoryRegion->VirtualBase);
|
|
|
|
|
|
|
|
while (RemainLength != 0) {
|
|
|
|
if (PhysicalBase % TT_DESCRIPTOR_SECTION_SIZE == 0) {
|
|
|
|
if (RemainLength >= TT_DESCRIPTOR_SECTION_SIZE) {
|
|
|
|
// Case: Physical address aligned on the Section Size (1MB) && the length is greater than the Section Size
|
|
|
|
*SectionEntry++ = TT_DESCRIPTOR_SECTION_BASE_ADDRESS(PhysicalBase) | Attributes;
|
|
|
|
PhysicalBase += TT_DESCRIPTOR_SECTION_SIZE;
|
|
|
|
} else {
|
|
|
|
// Case: Physical address aligned on the Section Size (1MB) && the length does not fill a section
|
2011-09-27 18:31:20 +02:00
|
|
|
PopulateLevel2PageTable (SectionEntry++, PhysicalBase, RemainLength, MemoryRegion->Attributes);
|
2011-03-31 13:23:55 +02:00
|
|
|
|
|
|
|
// It must be the last entry
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
// Case: Physical address NOT aligned on the Section Size (1MB)
|
2011-09-27 18:31:20 +02:00
|
|
|
PopulateLevel2PageTable (SectionEntry++, PhysicalBase, RemainLength, MemoryRegion->Attributes);
|
2011-03-31 13:23:55 +02:00
|
|
|
// Aligned the address
|
|
|
|
PhysicalBase = (PhysicalBase + TT_DESCRIPTOR_SECTION_SIZE) & ~(TT_DESCRIPTOR_SECTION_SIZE-1);
|
|
|
|
|
|
|
|
// If it is the last entry
|
|
|
|
if (RemainLength < TT_DESCRIPTOR_SECTION_SIZE) {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
RemainLength -= TT_DESCRIPTOR_SECTION_SIZE;
|
2011-02-02 23:35:30 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
VOID
|
|
|
|
EFIAPI
|
|
|
|
ArmConfigureMmu (
|
|
|
|
IN ARM_MEMORY_REGION_DESCRIPTOR *MemoryTable,
|
|
|
|
OUT VOID **TranslationTableBase OPTIONAL,
|
|
|
|
OUT UINTN *TranslationTableSize OPTIONAL
|
|
|
|
)
|
|
|
|
{
|
|
|
|
UINTN TranslationTable;
|
|
|
|
ARM_MEMORY_REGION_ATTRIBUTES TranslationTableAttribute;
|
|
|
|
UINT32 TTBRAttributes;
|
|
|
|
|
|
|
|
// Allocate pages for translation table.
|
2011-09-27 18:31:20 +02:00
|
|
|
TranslationTable = (UINTN)AllocatePages (EFI_SIZE_TO_PAGES(TRANSLATION_TABLE_SECTION_SIZE + TRANSLATION_TABLE_SECTION_ALIGNMENT));
|
2011-02-02 23:35:30 +01:00
|
|
|
TranslationTable = ((UINTN)TranslationTable + TRANSLATION_TABLE_SECTION_ALIGNMENT_MASK) & ~TRANSLATION_TABLE_SECTION_ALIGNMENT_MASK;
|
|
|
|
|
|
|
|
if (TranslationTableBase != NULL) {
|
|
|
|
*TranslationTableBase = (VOID *)TranslationTable;
|
|
|
|
}
|
|
|
|
|
2012-06-06 17:47:23 +02:00
|
|
|
if (TranslationTableSize != NULL) {
|
2011-02-02 23:35:30 +01:00
|
|
|
*TranslationTableSize = TRANSLATION_TABLE_SECTION_SIZE;
|
|
|
|
}
|
|
|
|
|
|
|
|
ZeroMem ((VOID *)TranslationTable, TRANSLATION_TABLE_SECTION_SIZE);
|
|
|
|
|
2011-09-27 18:31:20 +02:00
|
|
|
ArmCleanInvalidateDataCache ();
|
|
|
|
ArmInvalidateInstructionCache ();
|
|
|
|
ArmInvalidateTlb ();
|
2011-02-02 23:35:30 +01:00
|
|
|
|
2011-09-27 18:31:20 +02:00
|
|
|
ArmDisableDataCache ();
|
2011-02-02 23:35:30 +01:00
|
|
|
ArmDisableInstructionCache();
|
2011-09-27 18:31:20 +02:00
|
|
|
ArmDisableMmu ();
|
2011-02-02 23:35:30 +01:00
|
|
|
|
|
|
|
// Make sure nothing sneaked into the cache
|
2011-09-27 18:31:20 +02:00
|
|
|
ArmCleanInvalidateDataCache ();
|
|
|
|
ArmInvalidateInstructionCache ();
|
2011-02-02 23:35:30 +01:00
|
|
|
|
2011-03-31 13:23:55 +02:00
|
|
|
TranslationTableAttribute = (ARM_MEMORY_REGION_ATTRIBUTES)0;
|
2011-02-02 23:35:30 +01:00
|
|
|
while (MemoryTable->Length != 0) {
|
|
|
|
// Find the memory attribute for the Translation Table
|
2012-02-28 18:20:34 +01:00
|
|
|
if ((TranslationTable >= MemoryTable->PhysicalBase) && (TranslationTable <= MemoryTable->PhysicalBase - 1 + MemoryTable->Length)) {
|
2011-02-02 23:35:30 +01:00
|
|
|
TranslationTableAttribute = MemoryTable->Attributes;
|
|
|
|
}
|
|
|
|
|
|
|
|
FillTranslationTable ((VOID *)TranslationTable, MemoryTable);
|
|
|
|
MemoryTable++;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Translate the Memory Attributes into Translation Table Register Attributes
|
|
|
|
if ((TranslationTableAttribute == ARM_MEMORY_REGION_ATTRIBUTE_UNCACHED_UNBUFFERED) ||
|
2012-05-02 22:00:54 +02:00
|
|
|
(TranslationTableAttribute == ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_UNCACHED_UNBUFFERED)) {
|
2011-02-02 23:35:30 +01:00
|
|
|
TTBRAttributes = TTBR_NON_CACHEABLE;
|
|
|
|
} else if ((TranslationTableAttribute == ARM_MEMORY_REGION_ATTRIBUTE_WRITE_BACK) ||
|
2012-05-02 22:00:54 +02:00
|
|
|
(TranslationTableAttribute == ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_WRITE_BACK)) {
|
2011-02-02 23:35:30 +01:00
|
|
|
TTBRAttributes = TTBR_WRITE_BACK_ALLOC;
|
|
|
|
} else if ((TranslationTableAttribute == ARM_MEMORY_REGION_ATTRIBUTE_WRITE_THROUGH) ||
|
2012-05-02 22:00:54 +02:00
|
|
|
(TranslationTableAttribute == ARM_MEMORY_REGION_ATTRIBUTE_NONSECURE_WRITE_THROUGH)) {
|
2011-02-02 23:35:30 +01:00
|
|
|
TTBRAttributes = TTBR_WRITE_THROUGH_NO_ALLOC;
|
|
|
|
} else {
|
|
|
|
//TODO: We should raise an error here
|
|
|
|
TTBRAttributes = TTBR_NON_CACHEABLE;
|
|
|
|
}
|
|
|
|
|
2012-05-02 22:00:54 +02:00
|
|
|
ArmSetTTBR0 ((VOID *)(UINTN)((TranslationTable & ~TRANSLATION_TABLE_SECTION_ALIGNMENT_MASK) | (TTBRAttributes & 0x7F)));
|
2011-02-02 23:35:30 +01:00
|
|
|
|
|
|
|
ArmSetDomainAccessControl (DOMAIN_ACCESS_CONTROL_NONE(15) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE(14) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE(13) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE(12) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE(11) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE(10) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 9) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 8) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 7) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 6) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 5) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 4) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 3) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 2) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_NONE( 1) |
|
|
|
|
DOMAIN_ACCESS_CONTROL_MANAGER(0));
|
|
|
|
|
|
|
|
ArmEnableInstructionCache();
|
|
|
|
ArmEnableDataCache();
|
|
|
|
ArmEnableMmu();
|
|
|
|
}
|