blob: a6f3b7ce6706ad18df98c41d0a00433a928b02e9 [file] [log] [blame]
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +00001/*
2 * Copyright (c) 2017, ARM Limited and Contributors. All rights reserved.
3 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +00005 */
6
7#include <arch.h>
8#include <arch_helpers.h>
9#include <assert.h>
10#include <cassert.h>
11#include <common_def.h>
12#include <debug.h>
13#include <errno.h>
14#include <platform_def.h>
15#include <string.h>
16#include <types.h>
17#include <utils.h>
18#include <xlat_tables_v2.h>
19#ifdef AARCH32
20# include "aarch32/xlat_tables_arch.h"
21#else
22# include "aarch64/xlat_tables_arch.h"
23#endif
24#include "xlat_tables_private.h"
25
26/*
27 * Private variables used by the TF
28 */
29static mmap_region_t tf_mmap[MAX_MMAP_REGIONS + 1];
30
31static uint64_t tf_xlat_tables[MAX_XLAT_TABLES][XLAT_TABLE_ENTRIES]
32 __aligned(XLAT_TABLE_SIZE) __section("xlat_table");
33
34static uint64_t tf_base_xlat_table[NUM_BASE_LEVEL_ENTRIES]
35 __aligned(NUM_BASE_LEVEL_ENTRIES * sizeof(uint64_t));
36
37static mmap_region_t tf_mmap[MAX_MMAP_REGIONS + 1];
38
Antonio Nino Diazac998032017-02-27 17:23:54 +000039#if PLAT_XLAT_TABLES_DYNAMIC
40static int xlat_tables_mapped_regions[MAX_XLAT_TABLES];
41#endif /* PLAT_XLAT_TABLES_DYNAMIC */
42
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000043xlat_ctx_t tf_xlat_ctx = {
44
45 .pa_max_address = PLAT_PHY_ADDR_SPACE_SIZE - 1,
46 .va_max_address = PLAT_VIRT_ADDR_SPACE_SIZE - 1,
47
48 .mmap = tf_mmap,
49 .mmap_num = MAX_MMAP_REGIONS,
50
51 .tables = tf_xlat_tables,
52 .tables_num = MAX_XLAT_TABLES,
Antonio Nino Diazac998032017-02-27 17:23:54 +000053#if PLAT_XLAT_TABLES_DYNAMIC
54 .tables_mapped_regions = xlat_tables_mapped_regions,
55#endif /* PLAT_XLAT_TABLES_DYNAMIC */
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000056
57 .base_table = tf_base_xlat_table,
58 .base_table_entries = NUM_BASE_LEVEL_ENTRIES,
59
60 .max_pa = 0,
61 .max_va = 0,
62
63 .next_table = 0,
64
65 .base_level = XLAT_TABLE_LEVEL_BASE,
66
67 .initialized = 0
68};
69
70void mmap_add_region(unsigned long long base_pa, uintptr_t base_va,
Sandrine Bailleux04980a32017-04-19 14:02:23 +010071 size_t size, mmap_attr_t attr)
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +000072{
73 mmap_region_t mm = {
74 .base_va = base_va,
75 .base_pa = base_pa,
76 .size = size,
77 .attr = attr,
78 };
79 mmap_add_region_ctx(&tf_xlat_ctx, (mmap_region_t *)&mm);
80}
81
82void mmap_add(const mmap_region_t *mm)
83{
84 while (mm->size) {
85 mmap_add_region_ctx(&tf_xlat_ctx, (mmap_region_t *)mm);
86 mm++;
87 }
88}
89
Antonio Nino Diazac998032017-02-27 17:23:54 +000090#if PLAT_XLAT_TABLES_DYNAMIC
91
92int mmap_add_dynamic_region(unsigned long long base_pa,
Sandrine Bailleux04980a32017-04-19 14:02:23 +010093 uintptr_t base_va, size_t size, mmap_attr_t attr)
Antonio Nino Diazac998032017-02-27 17:23:54 +000094{
95 mmap_region_t mm = {
96 .base_va = base_va,
97 .base_pa = base_pa,
98 .size = size,
99 .attr = attr,
100 };
101 return mmap_add_dynamic_region_ctx(&tf_xlat_ctx, &mm);
102}
103
104int mmap_remove_dynamic_region(uintptr_t base_va, size_t size)
105{
106 return mmap_remove_dynamic_region_ctx(&tf_xlat_ctx, base_va, size);
107}
108
109#endif /* PLAT_XLAT_TABLES_DYNAMIC */
110
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +0000111void init_xlat_tables(void)
112{
113 assert(!is_mmu_enabled());
114 assert(!tf_xlat_ctx.initialized);
115 print_mmap(tf_xlat_ctx.mmap);
Antonio Nino Diazefabaa92017-04-27 13:30:22 +0100116 tf_xlat_ctx.execute_never_mask =
117 xlat_arch_get_xn_desc(xlat_arch_current_el());
Antonio Nino Diaz233c7c12017-03-08 14:40:23 +0000118 init_xlation_table(&tf_xlat_ctx);
119 xlat_tables_print(&tf_xlat_ctx);
120
121 assert(tf_xlat_ctx.max_va <= PLAT_VIRT_ADDR_SPACE_SIZE - 1);
122 assert(tf_xlat_ctx.max_pa <= PLAT_PHY_ADDR_SPACE_SIZE - 1);
123
124 init_xlat_tables_arch(tf_xlat_ctx.max_pa);
125}
126
127#ifdef AARCH32
128
129void enable_mmu_secure(unsigned int flags)
130{
131 enable_mmu_arch(flags, tf_xlat_ctx.base_table);
132}
133
134#else
135
136void enable_mmu_el1(unsigned int flags)
137{
138 enable_mmu_arch(flags, tf_xlat_ctx.base_table);
139}
140
141void enable_mmu_el3(unsigned int flags)
142{
143 enable_mmu_arch(flags, tf_xlat_ctx.base_table);
144}
145
146#endif /* AARCH32 */