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 
13 /*
14  * Standard call entry, __weak, overridable. If overridden should call
15  * __tee_entry_std() at the end in order to handle the standard functions.
16  *
17  * These functions are called in a normal thread context.
18  */
19 uint32_t tee_entry_std(struct optee_msg_arg *arg, uint32_t num_params);
20 uint32_t __tee_entry_std(struct optee_msg_arg *arg, uint32_t num_params);
21 
22 /* Get list head for sessions opened from non-secure */
23 void nsec_sessions_list_head(struct tee_ta_session_head **open_sessions);
24 
25 #endif /* TEE_ENTRY_STD_H */
26