arm-trusted-firmware/plat/arm/board/tc0/include/tc0_plat.h

13 lines
314 B
C

/*
* Copyright (c) 2020, ARM Limited and Contributors. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#ifndef tc0_bl31_common_platform_setup_PLAT_H
#define tc0_bl31_common_platform_setup_PLAT_H
void tc0_bl31_common_platform_setup(void);
#endif /* tc0_bl31_common_platform_setup_PLAT_H */