1*6b8f9e16SStephan Gerhold /* 2*6b8f9e16SStephan Gerhold * Copyright (c) 2023, Stephan Gerhold <stephan@gerhold.net> 3*6b8f9e16SStephan Gerhold * 4*6b8f9e16SStephan Gerhold * SPDX-License-Identifier: BSD-3-Clause 5*6b8f9e16SStephan Gerhold */ 6*6b8f9e16SStephan Gerhold 7*6b8f9e16SStephan Gerhold #include <common/debug.h> 8*6b8f9e16SStephan Gerhold #include <platform_tsp.h> 9*6b8f9e16SStephan Gerhold 10*6b8f9e16SStephan Gerhold #include "../msm8916_setup.h" 11*6b8f9e16SStephan Gerhold #include <platform_def.h> 12*6b8f9e16SStephan Gerhold 13*6b8f9e16SStephan Gerhold void tsp_early_platform_setup(void) 14*6b8f9e16SStephan Gerhold { 15*6b8f9e16SStephan Gerhold msm8916_early_platform_setup(); 16*6b8f9e16SStephan Gerhold } 17*6b8f9e16SStephan Gerhold 18*6b8f9e16SStephan Gerhold void tsp_plat_arch_setup(void) 19*6b8f9e16SStephan Gerhold { 20*6b8f9e16SStephan Gerhold msm8916_plat_arch_setup(BL32_BASE, BL32_END - BL32_BASE); 21*6b8f9e16SStephan Gerhold enable_mmu_el1(0); 22*6b8f9e16SStephan Gerhold } 23*6b8f9e16SStephan Gerhold 24*6b8f9e16SStephan Gerhold void tsp_platform_setup(void) 25*6b8f9e16SStephan Gerhold { 26*6b8f9e16SStephan Gerhold INFO("TSP: Platform setup start\n"); 27*6b8f9e16SStephan Gerhold msm8916_platform_setup(); 28*6b8f9e16SStephan Gerhold INFO("TSP: Platform setup done\n"); 29*6b8f9e16SStephan Gerhold 30*6b8f9e16SStephan Gerhold console_switch_state(CONSOLE_FLAG_RUNTIME); 31*6b8f9e16SStephan Gerhold } 32