1 /* 2 * Copyright (c) 2014-2025, Arm Limited and Contributors. All rights reserved. 3 * 4 * SPDX-License-Identifier: BSD-3-Clause 5 */ 6 7 #ifndef PLATFORM_TSP_H 8 #define PLATFORM_TSP_H 9 10 #include <stdint.h> 11 12 /******************************************************************************* 13 * Mandatory TSP functions (only if platform contains a TSP) 14 ******************************************************************************/ 15 void tsp_early_platform_setup(u_register_t arg0, u_register_t arg1, 16 u_register_t arg2, u_register_t arg3); 17 void tsp_plat_arch_setup(void); 18 void tsp_platform_setup(void); 19 20 #endif /* PLATFORM_TSP_H */ 21