blob: 695e7337c9655a3de9e181d393fc7b512e59549c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/* 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*/
|
