1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2017, 2020, Linaro Limited
4  * Copyright (c) 2020, Arm Limited.
5  */
6 #ifndef KERNEL_EARLY_TA_H
7 #define KERNEL_EARLY_TA_H
8 
9 #include <kernel/embedded_ts.h>
10 #include <scattered_array.h>
11 #include <stdint.h>
12 #include <tee_api_types.h>
13 
14 #define for_each_early_ta(_ta) \
15 	SCATTERED_ARRAY_FOREACH(_ta, early_tas, struct embedded_ts)
16 
17 #endif /* KERNEL_EARLY_TA_H */
18 
19