1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2015, Linaro Limited
4  * Copyright (c) 2014, STMicroelectronics International N.V.
5  */
6 
7 #ifndef TEE_ENTRY_STD_H
8 #define TEE_ENTRY_STD_H
9 
10 #include <kernel/thread.h>
11 #include <optee_msg.h>
12 #include <tee_api_types.h>
13 
14 /*
15  * Standard call entry, __weak, overridable. If overridden should call
16  * __tee_entry_std() at the end in order to handle the standard functions.
17  *
18  * These functions are called in a normal thread context.
19  */
20 TEE_Result tee_entry_std(struct optee_msg_arg *arg, uint32_t num_params);
21 TEE_Result __tee_entry_std(struct optee_msg_arg *arg, uint32_t num_params);
22 
23 /* Get list head for sessions opened from non-secure */
24 void nsec_sessions_list_head(struct tee_ta_session_head **open_sessions);
25 
26 #endif /* TEE_ENTRY_STD_H */
27