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