/* 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*/