core: non-linear mapping of secure world devices

This patch introduces non-linear mapping of secure world devices, that is,
physical and virtual address of a device can differ.

Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>

1 files changed, 5 insertions, 0 deletions

diff --git a/core/arch/arm/mm/core_mmu_v7.c b/core/arch/arm/mm/core_mmu_v7.c
index 29d79a59..2d1781dd 100644
--- a/core/arch/arm/mm/core_mmu_v7.c
+++ b/core/arch/arm/mm/core_mmu_v7.c
@@ -649,6 +649,11 @@ void core_init_mmu_tables(struct tee_mmap_region *mm)
 		map_memarea(mm + n, ttb1);
 }
 
+bool core_mmu_place_tee_ram_at_top(paddr_t paddr)
+{
+	return paddr > 0x80000000;
+}
+
 void core_init_mmu_regs(void)
 {
 	uint32_t prrr;