1 /* 2 * Copyright (c) 2014-2018, ARM Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #include <arch_helpers.h> 8 #include <assert.h> 9 #include <console.h> 10 #include <platform.h> 11 #include <xlat_mmu_helpers.h> 12 13 /* 14 * The following platform setup functions are weakly defined. They 15 * provide typical implementations that may be re-used by multiple 16 * platforms but may also be overridden by a platform if required. 17 */ 18 #pragma weak bl31_plat_enable_mmu 19 #pragma weak bl32_plat_enable_mmu 20 #pragma weak bl31_plat_runtime_setup 21 #if !ERROR_DEPRECATED 22 #pragma weak plat_get_syscnt_freq2 23 #pragma weak bl31_early_platform_setup2 24 #endif /* ERROR_DEPRECATED */ 25 26 #if SDEI_SUPPORT 27 #pragma weak plat_sdei_handle_masked_trigger 28 #pragma weak plat_sdei_validate_entry_point 29 #endif 30 31 void bl31_plat_enable_mmu(uint32_t flags) 32 { 33 enable_mmu_el3(flags); 34 } 35 36 void bl32_plat_enable_mmu(uint32_t flags) 37 { 38 enable_mmu_el1(flags); 39 } 40 41 void bl31_plat_runtime_setup(void) 42 { 43 #if MULTI_CONSOLE_API 44 console_switch_state(CONSOLE_FLAG_RUNTIME); 45 #else 46 console_uninit(); 47 #endif 48 } 49 50 #if !ENABLE_PLAT_COMPAT 51 /* 52 * Helper function for platform_get_pos() when platform compatibility is 53 * disabled. This is to enable SPDs using the older platform API to continue 54 * to work. 55 */ 56 unsigned int platform_core_pos_helper(unsigned long mpidr) 57 { 58 int idx = plat_core_pos_by_mpidr(mpidr); 59 assert(idx >= 0); 60 return idx; 61 } 62 #endif 63 64 65 #if !ERROR_DEPRECATED 66 unsigned int plat_get_syscnt_freq2(void) 67 { 68 WARN("plat_get_syscnt_freq() is deprecated\n"); 69 WARN("Please define plat_get_syscnt_freq2()\n"); 70 /* 71 * Suppress deprecated declaration warning in compatibility function 72 */ 73 #pragma GCC diagnostic push 74 #pragma GCC diagnostic ignored "-Wdeprecated-declarations" 75 unsigned long long freq = plat_get_syscnt_freq(); 76 #pragma GCC diagnostic pop 77 78 assert(freq >> 32 == 0); 79 80 return (unsigned int)freq; 81 } 82 83 void bl31_early_platform_setup2(u_register_t arg0, u_register_t arg1, 84 u_register_t arg2, u_register_t arg3) 85 { 86 bl31_early_platform_setup((void *) arg0, (void *)arg1); 87 } 88 #endif /* ERROR_DEPRECATED */ 89 90 #if SDEI_SUPPORT 91 /* 92 * Function that handles spurious SDEI interrupts while events are masked. 93 */ 94 void plat_sdei_handle_masked_trigger(uint64_t mpidr, unsigned int intr) 95 { 96 WARN("Spurious SDEI interrupt %u on masked PE %lx\n", intr, mpidr); 97 } 98 99 /* 100 * Default Function to validate SDEI entry point, which returns success. 101 * Platforms may override this with their own validation mechanism. 102 */ 103 int plat_sdei_validate_entry_point(uintptr_t ep, unsigned int client_mode) 104 { 105 return 0; 106 } 107 #endif 108