1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2020, Open Mobile Platform LLC
4  */
5 
6 #ifndef __TEE_TEE_SUPP_PLUGIN_RPC_H
7 #define __TEE_TEE_SUPP_PLUGIN_RPC_H
8 
9 #include <stdint.h>
10 #include <stdbool.h>
11 #include <tee_api_types.h>
12 
13 TEE_Result tee_invoke_supp_plugin_rpc(const TEE_UUID *uuid, uint32_t cmd,
14 				      uint32_t sub_cmd, void *buf_core,
15 				      void *buf_user, size_t len,
16 				      size_t *outlen);
17 
18 #endif /* __TEE_TEE_SUPP_PLUGIN_RPC_H */
19