Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 1 | /* |
Antonio Nino Diaz | 719bf85 | 2017-02-23 17:22:58 +0000 | [diff] [blame] | 2 | * Copyright (c) 2015-2017, ARM Limited and Contributors. All rights reserved. |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 3 | * |
dp-arm | fa3cf0b | 2017-05-03 09:38:09 +0100 | [diff] [blame] | 4 | * SPDX-License-Identifier: BSD-3-Clause |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 5 | */ |
| 6 | #include <arch.h> |
| 7 | #include <arch_helpers.h> |
Antonio Nino Diaz | f09d003 | 2017-04-11 14:04:56 +0100 | [diff] [blame] | 8 | #include <arm_xlat_tables.h> |
Antonio Nino Diaz | e82e29c | 2016-05-19 10:00:28 +0100 | [diff] [blame] | 9 | #include <assert.h> |
Yatharth Kochar | 3c0087a | 2016-04-14 14:49:37 +0100 | [diff] [blame] | 10 | #include <debug.h> |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 11 | #include <mmio.h> |
| 12 | #include <plat_arm.h> |
Soby Mathew | 61e8d0b | 2015-10-12 17:32:29 +0100 | [diff] [blame] | 13 | #include <platform_def.h> |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 14 | |
Vikram Kanigiri | 0703543 | 2015-11-12 18:52:34 +0000 | [diff] [blame] | 15 | extern const mmap_region_t plat_arm_mmap[]; |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 16 | |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 17 | /* Weak definitions may be overridden in specific ARM standard platform */ |
| 18 | #pragma weak plat_get_ns_image_entrypoint |
Vikram Kanigiri | 0703543 | 2015-11-12 18:52:34 +0000 | [diff] [blame] | 19 | #pragma weak plat_arm_get_mmap |
Antonio Nino Diaz | e82e29c | 2016-05-19 10:00:28 +0100 | [diff] [blame] | 20 | |
| 21 | /* Conditionally provide a weak definition of plat_get_syscnt_freq2 to avoid |
| 22 | * conflicts with the definition in plat/common. */ |
| 23 | #if ERROR_DEPRECATED |
| 24 | #pragma weak plat_get_syscnt_freq2 |
Antonio Nino Diaz | e82e29c | 2016-05-19 10:00:28 +0100 | [diff] [blame] | 25 | #endif |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 26 | |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 27 | /* |
| 28 | * Set up the page tables for the generic and platform-specific memory regions. |
| 29 | * The extents of the generic memory regions are specified by the function |
| 30 | * arguments and consist of: |
| 31 | * - Trusted SRAM seen by the BL image; |
Sandrine Bailleux | ecdc4d3 | 2016-07-08 14:38:16 +0100 | [diff] [blame] | 32 | * - Code section; |
| 33 | * - Read-only data section; |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 34 | * - Coherent memory region, if applicable. |
| 35 | */ |
Soby Mathew | a0fedc4 | 2016-06-16 14:52:04 +0100 | [diff] [blame] | 36 | void arm_setup_page_tables(uintptr_t total_base, |
| 37 | size_t total_size, |
| 38 | uintptr_t code_start, |
| 39 | uintptr_t code_limit, |
| 40 | uintptr_t rodata_start, |
| 41 | uintptr_t rodata_limit |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 42 | #if USE_COHERENT_MEM |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 43 | , |
Soby Mathew | a0fedc4 | 2016-06-16 14:52:04 +0100 | [diff] [blame] | 44 | uintptr_t coh_start, |
| 45 | uintptr_t coh_limit |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 46 | #endif |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 47 | ) |
| 48 | { |
| 49 | /* |
| 50 | * Map the Trusted SRAM with appropriate memory attributes. |
| 51 | * Subsequent mappings will adjust the attributes for specific regions. |
| 52 | */ |
Sandrine Bailleux | 12997c5 | 2016-06-20 13:57:10 +0100 | [diff] [blame] | 53 | VERBOSE("Trusted SRAM seen by this BL image: %p - %p\n", |
| 54 | (void *) total_base, (void *) (total_base + total_size)); |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 55 | mmap_add_region(total_base, total_base, |
| 56 | total_size, |
| 57 | MT_MEMORY | MT_RW | MT_SECURE); |
Sandrine Bailleux | ecdc4d3 | 2016-07-08 14:38:16 +0100 | [diff] [blame] | 58 | |
| 59 | /* Re-map the code section */ |
Sandrine Bailleux | 12997c5 | 2016-06-20 13:57:10 +0100 | [diff] [blame] | 60 | VERBOSE("Code region: %p - %p\n", |
| 61 | (void *) code_start, (void *) code_limit); |
Sandrine Bailleux | ecdc4d3 | 2016-07-08 14:38:16 +0100 | [diff] [blame] | 62 | mmap_add_region(code_start, code_start, |
| 63 | code_limit - code_start, |
| 64 | MT_CODE | MT_SECURE); |
| 65 | |
| 66 | /* Re-map the read-only data section */ |
Sandrine Bailleux | 12997c5 | 2016-06-20 13:57:10 +0100 | [diff] [blame] | 67 | VERBOSE("Read-only data region: %p - %p\n", |
| 68 | (void *) rodata_start, (void *) rodata_limit); |
Sandrine Bailleux | ecdc4d3 | 2016-07-08 14:38:16 +0100 | [diff] [blame] | 69 | mmap_add_region(rodata_start, rodata_start, |
| 70 | rodata_limit - rodata_start, |
| 71 | MT_RO_DATA | MT_SECURE); |
| 72 | |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 73 | #if USE_COHERENT_MEM |
| 74 | /* Re-map the coherent memory region */ |
Sandrine Bailleux | 12997c5 | 2016-06-20 13:57:10 +0100 | [diff] [blame] | 75 | VERBOSE("Coherent region: %p - %p\n", |
| 76 | (void *) coh_start, (void *) coh_limit); |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 77 | mmap_add_region(coh_start, coh_start, |
| 78 | coh_limit - coh_start, |
| 79 | MT_DEVICE | MT_RW | MT_SECURE); |
| 80 | #endif |
Sandrine Bailleux | ecdc4d3 | 2016-07-08 14:38:16 +0100 | [diff] [blame] | 81 | |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 82 | /* Now (re-)map the platform-specific memory regions */ |
| 83 | mmap_add(plat_arm_get_mmap()); |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 84 | |
Sandrine Bailleux | 4a1267a | 2016-05-18 16:11:47 +0100 | [diff] [blame] | 85 | /* Create the page tables to reflect the above mappings */ |
| 86 | init_xlat_tables(); |
| 87 | } |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 88 | |
Soby Mathew | 21f9361 | 2016-03-23 10:11:10 +0000 | [diff] [blame] | 89 | uintptr_t plat_get_ns_image_entrypoint(void) |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 90 | { |
Soby Mathew | 4876ae3 | 2016-05-09 17:20:10 +0100 | [diff] [blame] | 91 | #ifdef PRELOADED_BL33_BASE |
| 92 | return PRELOADED_BL33_BASE; |
| 93 | #else |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 94 | return PLAT_ARM_NS_IMAGE_OFFSET; |
Soby Mathew | 4876ae3 | 2016-05-09 17:20:10 +0100 | [diff] [blame] | 95 | #endif |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 96 | } |
| 97 | |
| 98 | /******************************************************************************* |
| 99 | * Gets SPSR for BL32 entry |
| 100 | ******************************************************************************/ |
| 101 | uint32_t arm_get_spsr_for_bl32_entry(void) |
| 102 | { |
| 103 | /* |
| 104 | * The Secure Payload Dispatcher service is responsible for |
Juan Castillo | 7d19941 | 2015-12-14 09:35:25 +0000 | [diff] [blame] | 105 | * setting the SPSR prior to entry into the BL32 image. |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 106 | */ |
| 107 | return 0; |
| 108 | } |
| 109 | |
| 110 | /******************************************************************************* |
| 111 | * Gets SPSR for BL33 entry |
| 112 | ******************************************************************************/ |
Soby Mathew | 0d268dc | 2016-07-11 14:13:56 +0100 | [diff] [blame] | 113 | #ifndef AARCH32 |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 114 | uint32_t arm_get_spsr_for_bl33_entry(void) |
| 115 | { |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 116 | unsigned int mode; |
| 117 | uint32_t spsr; |
| 118 | |
| 119 | /* Figure out what mode we enter the non-secure world in */ |
Jeenu Viswambharan | 2a9b882 | 2017-02-21 14:40:44 +0000 | [diff] [blame] | 120 | mode = EL_IMPLEMENTED(2) ? MODE_EL2 : MODE_EL1; |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 121 | |
| 122 | /* |
| 123 | * TODO: Consider the possibility of specifying the SPSR in |
| 124 | * the FIP ToC and allowing the platform to have a say as |
| 125 | * well. |
| 126 | */ |
| 127 | spsr = SPSR_64(mode, MODE_SP_ELX, DISABLE_ALL_EXCEPTIONS); |
| 128 | return spsr; |
| 129 | } |
Soby Mathew | 0d268dc | 2016-07-11 14:13:56 +0100 | [diff] [blame] | 130 | #else |
| 131 | /******************************************************************************* |
| 132 | * Gets SPSR for BL33 entry |
| 133 | ******************************************************************************/ |
| 134 | uint32_t arm_get_spsr_for_bl33_entry(void) |
| 135 | { |
| 136 | unsigned int hyp_status, mode, spsr; |
| 137 | |
| 138 | hyp_status = GET_VIRT_EXT(read_id_pfr1()); |
| 139 | |
| 140 | mode = (hyp_status) ? MODE32_hyp : MODE32_svc; |
| 141 | |
| 142 | /* |
| 143 | * TODO: Consider the possibility of specifying the SPSR in |
| 144 | * the FIP ToC and allowing the platform to have a say as |
| 145 | * well. |
| 146 | */ |
| 147 | spsr = SPSR_MODE32(mode, plat_get_ns_image_entrypoint() & 0x1, |
| 148 | SPSR_E_LITTLE, DISABLE_ALL_EXCEPTIONS); |
| 149 | return spsr; |
| 150 | } |
| 151 | #endif /* AARCH32 */ |
Dan Handley | 9df4804 | 2015-03-19 18:58:55 +0000 | [diff] [blame] | 152 | |
Soby Mathew | 61e8d0b | 2015-10-12 17:32:29 +0100 | [diff] [blame] | 153 | /******************************************************************************* |
| 154 | * Configures access to the system counter timer module. |
| 155 | ******************************************************************************/ |
Soren Brinkmann | 3d80b71 | 2016-03-06 20:23:39 -0800 | [diff] [blame] | 156 | #ifdef ARM_SYS_TIMCTL_BASE |
Soby Mathew | 61e8d0b | 2015-10-12 17:32:29 +0100 | [diff] [blame] | 157 | void arm_configure_sys_timer(void) |
| 158 | { |
| 159 | unsigned int reg_val; |
| 160 | |
Juan Castillo | aadf19a | 2015-11-06 16:02:32 +0000 | [diff] [blame] | 161 | #if ARM_CONFIG_CNTACR |
Soby Mathew | 61e8d0b | 2015-10-12 17:32:29 +0100 | [diff] [blame] | 162 | reg_val = (1 << CNTACR_RPCT_SHIFT) | (1 << CNTACR_RVCT_SHIFT); |
| 163 | reg_val |= (1 << CNTACR_RFRQ_SHIFT) | (1 << CNTACR_RVOFF_SHIFT); |
| 164 | reg_val |= (1 << CNTACR_RWVT_SHIFT) | (1 << CNTACR_RWPT_SHIFT); |
| 165 | mmio_write_32(ARM_SYS_TIMCTL_BASE + CNTACR_BASE(PLAT_ARM_NSTIMER_FRAME_ID), reg_val); |
Juan Castillo | aadf19a | 2015-11-06 16:02:32 +0000 | [diff] [blame] | 166 | #endif /* ARM_CONFIG_CNTACR */ |
Soby Mathew | 61e8d0b | 2015-10-12 17:32:29 +0100 | [diff] [blame] | 167 | |
| 168 | reg_val = (1 << CNTNSAR_NS_SHIFT(PLAT_ARM_NSTIMER_FRAME_ID)); |
| 169 | mmio_write_32(ARM_SYS_TIMCTL_BASE + CNTNSAR, reg_val); |
| 170 | } |
Soren Brinkmann | 3d80b71 | 2016-03-06 20:23:39 -0800 | [diff] [blame] | 171 | #endif /* ARM_SYS_TIMCTL_BASE */ |
Vikram Kanigiri | 0703543 | 2015-11-12 18:52:34 +0000 | [diff] [blame] | 172 | |
| 173 | /******************************************************************************* |
| 174 | * Returns ARM platform specific memory map regions. |
| 175 | ******************************************************************************/ |
| 176 | const mmap_region_t *plat_arm_get_mmap(void) |
| 177 | { |
| 178 | return plat_arm_mmap; |
| 179 | } |
Yatharth Kochar | 3c0087a | 2016-04-14 14:49:37 +0100 | [diff] [blame] | 180 | |
Yatharth Kochar | 0b49fb7 | 2016-04-26 10:36:29 +0100 | [diff] [blame] | 181 | #ifdef ARM_SYS_CNTCTL_BASE |
Antonio Nino Diaz | e82e29c | 2016-05-19 10:00:28 +0100 | [diff] [blame] | 182 | |
Antonio Nino Diaz | e82e29c | 2016-05-19 10:00:28 +0100 | [diff] [blame] | 183 | unsigned int plat_get_syscnt_freq2(void) |
| 184 | { |
Sandrine Bailleux | a8ef665 | 2016-06-03 15:00:46 +0100 | [diff] [blame] | 185 | unsigned int counter_base_frequency; |
Yatharth Kochar | 3c0087a | 2016-04-14 14:49:37 +0100 | [diff] [blame] | 186 | |
| 187 | /* Read the frequency from Frequency modes table */ |
| 188 | counter_base_frequency = mmio_read_32(ARM_SYS_CNTCTL_BASE + CNTFID_OFF); |
| 189 | |
| 190 | /* The first entry of the frequency modes table must not be 0 */ |
| 191 | if (counter_base_frequency == 0) |
| 192 | panic(); |
| 193 | |
| 194 | return counter_base_frequency; |
| 195 | } |
Antonio Nino Diaz | e82e29c | 2016-05-19 10:00:28 +0100 | [diff] [blame] | 196 | |
Yatharth Kochar | 0b49fb7 | 2016-04-26 10:36:29 +0100 | [diff] [blame] | 197 | #endif /* ARM_SYS_CNTCTL_BASE */ |