1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2014, Linaro Limited
4  */
5 #ifndef ARCH_SVC_PRIVATE_H
6 #define ARCH_SVC_PRIVATE_H
7 
8 #include <tee_api_types.h>
9 
10 /*
11  * Generic "pointer to function" type. Actual syscalls take zero or more
12  * arguments and return TEE_Result.
13  */
14 typedef void (*syscall_t)(void);
15 
16 /* Helper function for user_ta_handle_svc() */
17 uint32_t tee_svc_do_call(struct thread_svc_regs *regs, syscall_t func);
18 
19 #endif /*ARCH_SVC_PRIVATE_H*/
20