/* SPDX-License-Identifier: BSD-2-Clause */ | |
/* | |
* Copyright (c) 2014, Linaro Limited | |
*/ | |
#ifndef ARCH_SVC_PRIVATE_H | |
#define ARCH_SVC_PRIVATE_H | |
#include <tee_api_types.h> | |
/* | |
* Generic "pointer to function" type. Actual syscalls take zero or more | |
* arguments and return TEE_Result. | |
*/ | |
typedef void (*syscall_t)(void); | |
/* Helper function for tee_svc_handler() */ | |
uint32_t tee_svc_do_call(struct thread_svc_regs *regs, syscall_t func); | |
#endif /*ARCH_SVC_PRIVATE_H*/ |