xref: /rk3399_rockchip-uboot/include/optee_include/OpteeClientApiLib.h (revision abdd24375050db7ce121b48477cc332d6c8c40f6)
1 /*
2  * Copyright 2017, Rockchip Electronics Co., Ltd
3  * hisping lin, <hisping.lin@rock-chips.com>
4  *
5  * SPDX-License-Identifier:	GPL-2.0+
6  */
7 #include <optee_include/tee_base_types.h>
8 #include <optee_include/tee_client_api.h>
9 
10 TEEC_Result OpteeClientApiLibInitialize(void);
11