blob: c7e34f20f1f81b32cb0ac4643fed62d369d47290 [file] [log] [blame]
Soby Mathew935c2e72016-06-30 15:11:07 +01001/*
Antonio Nino Diaz3759e3f2017-03-22 15:48:51 +00002 * Copyright (c) 2016-2017, ARM Limited and Contributors. All rights reserved.
Soby Mathew935c2e72016-06-30 15:11:07 +01003 *
dp-armfa3cf0b2017-05-03 09:38:09 +01004 * SPDX-License-Identifier: BSD-3-Clause
Soby Mathew935c2e72016-06-30 15:11:07 +01005 */
6
7#include <arch.h>
8#include <arch_helpers.h>
9#include <assert.h>
Soby Mathew935c2e72016-06-30 15:11:07 +010010#include <platform_def.h>
11#include <utils.h>
Sandrine Bailleux090c8492017-05-19 09:59:37 +010012#include <xlat_tables_arch.h>
Soby Mathew935c2e72016-06-30 15:11:07 +010013#include <xlat_tables.h>
14#include "../xlat_tables_private.h"
15
Sandrine Bailleux090c8492017-05-19 09:59:37 +010016#define XLAT_TABLE_LEVEL_BASE \
17 GET_XLAT_TABLE_LEVEL_BASE(PLAT_VIRT_ADDR_SPACE_SIZE)
Antonio Nino Diazd48ae612016-08-02 09:21:41 +010018
Sandrine Bailleux090c8492017-05-19 09:59:37 +010019#define NUM_BASE_LEVEL_ENTRIES \
20 GET_NUM_BASE_LEVEL_ENTRIES(PLAT_VIRT_ADDR_SPACE_SIZE)
Antonio Nino Diazd48ae612016-08-02 09:21:41 +010021
22static uint64_t base_xlation_table[NUM_BASE_LEVEL_ENTRIES]
23 __aligned(NUM_BASE_LEVEL_ENTRIES * sizeof(uint64_t));
Soby Mathew935c2e72016-06-30 15:11:07 +010024
Antonio Nino Diaz3759e3f2017-03-22 15:48:51 +000025#if ENABLE_ASSERTIONS
Antonio Nino Diazd1beee22016-12-13 15:28:54 +000026static unsigned long long get_max_supported_pa(void)
27{
28 /* Physical address space size for long descriptor format. */
29 return (1ULL << 40) - 1ULL;
30}
Antonio Nino Diaz3759e3f2017-03-22 15:48:51 +000031#endif /* ENABLE_ASSERTIONS */
Antonio Nino Diazd1beee22016-12-13 15:28:54 +000032
Antonio Nino Diazefabaa92017-04-27 13:30:22 +010033int xlat_arch_current_el(void)
34{
35 /*
36 * If EL3 is in AArch32 mode, all secure PL1 modes (Monitor, System,
37 * SVC, Abort, UND, IRQ and FIQ modes) execute at EL3.
38 */
39 return 3;
40}
41
42uint64_t xlat_arch_get_xn_desc(int el __unused)
43{
44 return UPPER_ATTRS(XN);
45}
46
Soby Mathew935c2e72016-06-30 15:11:07 +010047void init_xlat_tables(void)
48{
49 unsigned long long max_pa;
50 uintptr_t max_va;
51 print_mmap();
Antonio Nino Diazd48ae612016-08-02 09:21:41 +010052 init_xlation_table(0, base_xlation_table, XLAT_TABLE_LEVEL_BASE,
53 &max_va, &max_pa);
Antonio Nino Diazd1beee22016-12-13 15:28:54 +000054
55 assert(max_va <= PLAT_VIRT_ADDR_SPACE_SIZE - 1);
56 assert(max_pa <= PLAT_PHY_ADDR_SPACE_SIZE - 1);
57 assert((PLAT_PHY_ADDR_SPACE_SIZE - 1) <= get_max_supported_pa());
Soby Mathew935c2e72016-06-30 15:11:07 +010058}
59
60/*******************************************************************************
61 * Function for enabling the MMU in Secure PL1, assuming that the
62 * page-tables have already been created.
63 ******************************************************************************/
64void enable_mmu_secure(unsigned int flags)
65{
66 unsigned int mair0, ttbcr, sctlr;
67 uint64_t ttbr0;
68
69 assert(IS_IN_SECURE());
70 assert((read_sctlr() & SCTLR_M_BIT) == 0);
71
72 /* Set attributes in the right indices of the MAIR */
73 mair0 = MAIR0_ATTR_SET(ATTR_DEVICE, ATTR_DEVICE_INDEX);
74 mair0 |= MAIR0_ATTR_SET(ATTR_IWBWA_OWBWA_NTR,
75 ATTR_IWBWA_OWBWA_NTR_INDEX);
76 mair0 |= MAIR0_ATTR_SET(ATTR_NON_CACHEABLE,
77 ATTR_NON_CACHEABLE_INDEX);
78 write_mair0(mair0);
79
80 /* Invalidate TLBs at the current exception level */
81 tlbiall();
82
83 /*
Summer Qindaf5dbb2017-03-16 17:16:34 +000084 * Set TTBCR bits as well. Set TTBR0 table properties. Disable TTBR1.
Soby Mathew935c2e72016-06-30 15:11:07 +010085 */
Summer Qindaf5dbb2017-03-16 17:16:34 +000086 if (flags & XLAT_TABLE_NC) {
87 /* Inner & outer non-cacheable non-shareable. */
88 ttbcr = TTBCR_EAE_BIT |
89 TTBCR_SH0_NON_SHAREABLE | TTBCR_RGN0_OUTER_NC |
90 TTBCR_RGN0_INNER_NC |
Sandrine Bailleux12e86442017-07-19 10:11:13 +010091 (32 - __builtin_ctzll(PLAT_VIRT_ADDR_SPACE_SIZE));
Summer Qindaf5dbb2017-03-16 17:16:34 +000092 } else {
93 /* Inner & outer WBWA & shareable. */
94 ttbcr = TTBCR_EAE_BIT |
95 TTBCR_SH0_INNER_SHAREABLE | TTBCR_RGN0_OUTER_WBA |
96 TTBCR_RGN0_INNER_WBA |
Sandrine Bailleux12e86442017-07-19 10:11:13 +010097 (32 - __builtin_ctzll(PLAT_VIRT_ADDR_SPACE_SIZE));
Summer Qindaf5dbb2017-03-16 17:16:34 +000098 }
Soby Mathew935c2e72016-06-30 15:11:07 +010099 ttbcr |= TTBCR_EPD1_BIT;
100 write_ttbcr(ttbcr);
101
102 /* Set TTBR0 bits as well */
Antonio Nino Diazd48ae612016-08-02 09:21:41 +0100103 ttbr0 = (uintptr_t) base_xlation_table;
Soby Mathew935c2e72016-06-30 15:11:07 +0100104 write64_ttbr0(ttbr0);
105 write64_ttbr1(0);
106
107 /*
108 * Ensure all translation table writes have drained
109 * into memory, the TLB invalidation is complete,
110 * and translation register writes are committed
111 * before enabling the MMU
112 */
Dimitris Papastamos12f8be52017-06-20 09:25:10 +0100113 dsbish();
Soby Mathew935c2e72016-06-30 15:11:07 +0100114 isb();
115
116 sctlr = read_sctlr();
117 sctlr |= SCTLR_WXN_BIT | SCTLR_M_BIT;
118
119 if (flags & DISABLE_DCACHE)
120 sctlr &= ~SCTLR_C_BIT;
121 else
122 sctlr |= SCTLR_C_BIT;
123
124 write_sctlr(sctlr);
125
126 /* Ensure the MMU enable takes effect immediately */
127 isb();
128}