125c76675SMarouene Boubakri /* SPDX-License-Identifier: BSD-2-Clause */ 225c76675SMarouene Boubakri /* 325c76675SMarouene Boubakri * Copyright (c) 2015, Linaro Limited 425c76675SMarouene Boubakri * Copyright (c) 2014, STMicroelectronics International N.V. 525c76675SMarouene Boubakri */ 625c76675SMarouene Boubakri 7*d50fee03SEtienne Carriere #ifndef __TEE_ENTRY_STD_H 8*d50fee03SEtienne Carriere #define __TEE_ENTRY_STD_H 925c76675SMarouene Boubakri 1025c76675SMarouene Boubakri #include <kernel/thread.h> 1125c76675SMarouene Boubakri #include <optee_msg.h> 12453d8327SJens Wiklander #include <tee_api_types.h> 1325c76675SMarouene Boubakri 1425c76675SMarouene Boubakri /* 1525c76675SMarouene Boubakri * Standard call entry, __weak, overridable. If overridden should call 1625c76675SMarouene Boubakri * __tee_entry_std() at the end in order to handle the standard functions. 1725c76675SMarouene Boubakri * 1825c76675SMarouene Boubakri * These functions are called in a normal thread context. 1925c76675SMarouene Boubakri */ 20453d8327SJens Wiklander TEE_Result tee_entry_std(struct optee_msg_arg *arg, uint32_t num_params); 21453d8327SJens Wiklander TEE_Result __tee_entry_std(struct optee_msg_arg *arg, uint32_t num_params); 2225c76675SMarouene Boubakri 2325c76675SMarouene Boubakri /* Get list head for sessions opened from non-secure */ 2425c76675SMarouene Boubakri void nsec_sessions_list_head(struct tee_ta_session_head **open_sessions); 2525c76675SMarouene Boubakri 26*d50fee03SEtienne Carriere #endif /* __TEE_ENTRY_STD_H */ 27