15a06bb7eSDan Handley /* 232d9e8ecSHarrison Mutai * Copyright (c) 2014-2025, Arm Limited and Contributors. All rights reserved. 35a06bb7eSDan Handley * 482cb2c1aSdp-arm * SPDX-License-Identifier: BSD-3-Clause 55a06bb7eSDan Handley */ 65a06bb7eSDan Handley 7c3cf06f1SAntonio Nino Diaz #ifndef PLATFORM_TSP_H 8c3cf06f1SAntonio Nino Diaz #define PLATFORM_TSP_H 95a06bb7eSDan Handley 10*13c99526SYann Gautier #include <stdint.h> 11*13c99526SYann Gautier 125a06bb7eSDan Handley /******************************************************************************* 135a06bb7eSDan Handley * Mandatory TSP functions (only if platform contains a TSP) 145a06bb7eSDan Handley ******************************************************************************/ 1532d9e8ecSHarrison Mutai void tsp_early_platform_setup(u_register_t arg0, u_register_t arg1, 1632d9e8ecSHarrison Mutai u_register_t arg2, u_register_t arg3); 175a06bb7eSDan Handley void tsp_plat_arch_setup(void); 185a06bb7eSDan Handley void tsp_platform_setup(void); 195a06bb7eSDan Handley 20c3cf06f1SAntonio Nino Diaz #endif /* PLATFORM_TSP_H */ 21