| /* |
| * Copyright (c) 2013-2014, ARM Limited and Contributors. All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions are met: |
| * |
| * Redistributions of source code must retain the above copyright notice, this |
| * list of conditions and the following disclaimer. |
| * |
| * Redistributions in binary form must reproduce the above copyright notice, |
| * this list of conditions and the following disclaimer in the documentation |
| * and/or other materials provided with the distribution. |
| * |
| * Neither the name of ARM nor the names of its contributors may be used |
| * to endorse or promote products derived from this software without specific |
| * prior written permission. |
| * |
| * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
| * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
| * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
| * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE |
| * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
| * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
| * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
| * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
| * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
| * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
| * POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| #include <string.h> |
| #include <assert.h> |
| #include <arch_helpers.h> |
| #include <platform.h> |
| #include <bl_common.h> |
| /* Included only for error codes */ |
| #include <psci.h> |
| #include "debug.h" |
| |
| unsigned char platform_normal_stacks[PLATFORM_STACK_SIZE][PLATFORM_CORE_COUNT] |
| __attribute__ ((aligned(PLATFORM_CACHE_LINE_SIZE), |
| section("tzfw_normal_stacks"))); |
| |
| /******************************************************************************* |
| * This array holds the characteristics of the differences between the three |
| * FVP platforms (Base, A53_A57 & Foundation). It will be populated during cold |
| * boot at each boot stage by the primary before enabling the MMU (to allow cci |
| * configuration) & used thereafter. Each BL will have its own copy to allow |
| * independent operation. |
| ******************************************************************************/ |
| static unsigned long platform_config[CONFIG_LIMIT]; |
| |
| /******************************************************************************* |
| * An internal global pointer of the level 1 translation tables which should not |
| * change once setup by the primary cpu during a cold boot. |
| *******************************************************************************/ |
| unsigned long l1_xlation_table __aligned(PLATFORM_CACHE_LINE_SIZE) |
| __attribute__ ((section("tzfw_coherent_mem"))); |
| |
| /******************************************************************************* |
| * Enable the MMU assuming that the pagetables have already been created |
| *******************************************************************************/ |
| void enable_mmu() |
| { |
| unsigned long mair, tcr, ttbr, sctlr; |
| unsigned long current_el = read_current_el(); |
| #if DEBUG |
| unsigned int l1_table_desc_bits; |
| unsigned int l1_table_align; |
| #endif |
| |
| /* Set the attributes in the right indices of the MAIR */ |
| mair = MAIR_ATTR_SET(ATTR_DEVICE, ATTR_DEVICE_INDEX); |
| mair |= MAIR_ATTR_SET(ATTR_IWBWA_OWBWA_NTR, |
| ATTR_IWBWA_OWBWA_NTR_INDEX); |
| write_mair(mair); |
| |
| /* |
| * Set TCR bits as well. Inner & outer WBWA & shareable + T0SZ = 32 |
| */ |
| tcr = TCR_SH_INNER_SHAREABLE | TCR_RGN_OUTER_WBA | |
| TCR_RGN_INNER_WBA | TCR_T0SZ_4GB; |
| if (GET_EL(current_el) == MODE_EL3) { |
| tcr |= TCR_EL3_RES1; |
| /* Invalidate EL3 TLBs */ |
| tlbialle3(); |
| } else { |
| /* Invalidate EL1 TLBs */ |
| tlbivmalle1(); |
| } |
| |
| write_tcr(tcr); |
| |
| /* Set TTBR bits. Ensure the alignment for level 1 page table */ |
| #if DEBUG |
| #define BITS_PER_4K_L3DESC 12 |
| #define BITS_PER_4K_L2DESC (9 + BITS_PER_4K_L3DESC) |
| #define BITS_PER_4K_L1DESC (9 + BITS_PER_4K_L2DESC) |
| l1_table_desc_bits = (64 - TCR_T0SZ_4GB - BITS_PER_4K_L1DESC); |
| l1_table_align = l1_table_desc_bits + 3; |
| assert(((unsigned long) l1_xlation_table & |
| ((1 << l1_table_align) - 1)) == 0); |
| #endif |
| ttbr = (unsigned long) l1_xlation_table; |
| write_ttbr0(ttbr); |
| |
| sctlr = read_sctlr(); |
| sctlr |= SCTLR_WXN_BIT | SCTLR_M_BIT | SCTLR_I_BIT; |
| sctlr |= SCTLR_A_BIT | SCTLR_C_BIT; |
| write_sctlr(sctlr); |
| |
| return; |
| } |
| |
| void disable_mmu(void) |
| { |
| /* Zero out the MMU related registers */ |
| write_mair(0); |
| write_tcr(0); |
| write_ttbr0(0); |
| write_sctlr(0); |
| |
| /* Flush the caches */ |
| dcsw_op_all(DCCISW); |
| |
| return; |
| } |
| |
| /******************************************************************************* |
| * Setup the pagetables as per the platform memory map & initialize the mmu |
| *******************************************************************************/ |
| void configure_mmu(meminfo *mem_layout, |
| unsigned long ro_start, |
| unsigned long ro_limit, |
| unsigned long coh_start, |
| unsigned long coh_limit) |
| { |
| assert(IS_PAGE_ALIGNED(ro_start)); |
| assert(IS_PAGE_ALIGNED(ro_limit)); |
| assert(IS_PAGE_ALIGNED(coh_start)); |
| assert(IS_PAGE_ALIGNED(coh_limit)); |
| |
| l1_xlation_table = fill_xlation_tables(mem_layout, |
| ro_start, |
| ro_limit, |
| coh_start, |
| coh_limit); |
| enable_mmu(); |
| return; |
| } |
| |
| /* Simple routine which returns a configuration variable value */ |
| unsigned long platform_get_cfgvar(unsigned int var_id) |
| { |
| assert(var_id < CONFIG_LIMIT); |
| return platform_config[var_id]; |
| } |
| |
| /******************************************************************************* |
| * A single boot loader stack is expected to work on both the Foundation FVP |
| * models and the two flavours of the Base FVP models (AEMv8 & Cortex). The |
| * SYS_ID register provides a mechanism for detecting the differences between |
| * these platforms. This information is stored in a per-BL array to allow the |
| * code to take the correct path.Per BL platform configuration. |
| ******************************************************************************/ |
| int platform_config_setup(void) |
| { |
| unsigned int rev, hbi, bld, arch, sys_id, midr_pn; |
| |
| sys_id = mmio_read_32(VE_SYSREGS_BASE + V2M_SYS_ID); |
| rev = (sys_id >> SYS_ID_REV_SHIFT) & SYS_ID_REV_MASK; |
| hbi = (sys_id >> SYS_ID_HBI_SHIFT) & SYS_ID_HBI_MASK; |
| bld = (sys_id >> SYS_ID_BLD_SHIFT) & SYS_ID_BLD_MASK; |
| arch = (sys_id >> SYS_ID_ARCH_SHIFT) & SYS_ID_ARCH_MASK; |
| |
| if ((rev != REV_FVP) || (arch != ARCH_MODEL)) |
| panic(); |
| |
| /* |
| * The build field in the SYS_ID tells which variant of the GIC |
| * memory is implemented by the model. |
| */ |
| switch (bld) { |
| case BLD_GIC_VE_MMAP: |
| platform_config[CONFIG_GICD_ADDR] = VE_GICD_BASE; |
| platform_config[CONFIG_GICC_ADDR] = VE_GICC_BASE; |
| platform_config[CONFIG_GICH_ADDR] = VE_GICH_BASE; |
| platform_config[CONFIG_GICV_ADDR] = VE_GICV_BASE; |
| break; |
| case BLD_GIC_A53A57_MMAP: |
| platform_config[CONFIG_GICD_ADDR] = BASE_GICD_BASE; |
| platform_config[CONFIG_GICC_ADDR] = BASE_GICC_BASE; |
| platform_config[CONFIG_GICH_ADDR] = BASE_GICH_BASE; |
| platform_config[CONFIG_GICV_ADDR] = BASE_GICV_BASE; |
| break; |
| default: |
| assert(0); |
| } |
| |
| /* |
| * The hbi field in the SYS_ID is 0x020 for the Base FVP & 0x010 |
| * for the Foundation FVP. |
| */ |
| switch (hbi) { |
| case HBI_FOUNDATION: |
| platform_config[CONFIG_MAX_AFF0] = 4; |
| platform_config[CONFIG_MAX_AFF1] = 1; |
| platform_config[CONFIG_CPU_SETUP] = 0; |
| platform_config[CONFIG_BASE_MMAP] = 0; |
| platform_config[CONFIG_HAS_CCI] = 0; |
| break; |
| case HBI_FVP_BASE: |
| midr_pn = (read_midr() >> MIDR_PN_SHIFT) & MIDR_PN_MASK; |
| if ((midr_pn == MIDR_PN_A57) || (midr_pn == MIDR_PN_A53)) |
| platform_config[CONFIG_CPU_SETUP] = 1; |
| else |
| platform_config[CONFIG_CPU_SETUP] = 0; |
| |
| platform_config[CONFIG_MAX_AFF0] = 4; |
| platform_config[CONFIG_MAX_AFF1] = 2; |
| platform_config[CONFIG_BASE_MMAP] = 1; |
| platform_config[CONFIG_HAS_CCI] = 1; |
| break; |
| default: |
| assert(0); |
| } |
| |
| return 0; |
| } |
| |
| unsigned long plat_get_ns_image_entrypoint(void) |
| { |
| return NS_IMAGE_OFFSET; |
| } |