11bfc1082SMarouene Boubakri /* SPDX-License-Identifier: BSD-2-Clause */ 21bfc1082SMarouene Boubakri /* 31bfc1082SMarouene Boubakri * Copyright (c) 2017, 2020, Linaro Limited 41bfc1082SMarouene Boubakri * Copyright (c) 2020, Arm Limited. 51bfc1082SMarouene Boubakri */ 6*d50fee03SEtienne Carriere #ifndef __KERNEL_EARLY_TA_H 7*d50fee03SEtienne Carriere #define __KERNEL_EARLY_TA_H 81bfc1082SMarouene Boubakri 91bfc1082SMarouene Boubakri #include <kernel/embedded_ts.h> 101bfc1082SMarouene Boubakri #include <scattered_array.h> 111bfc1082SMarouene Boubakri #include <stdint.h> 121bfc1082SMarouene Boubakri #include <tee_api_types.h> 131bfc1082SMarouene Boubakri 141bfc1082SMarouene Boubakri #define for_each_early_ta(_ta) \ 151bfc1082SMarouene Boubakri SCATTERED_ARRAY_FOREACH(_ta, early_tas, struct embedded_ts) 161bfc1082SMarouene Boubakri 17*d50fee03SEtienne Carriere #endif /* __KERNEL_EARLY_TA_H */ 181bfc1082SMarouene Boubakri 19