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 #ifndef _OPTEE_CLIENT_APILIB_H_ 8 #define _OPTEE_CLIENT_APILIB_H_ 9 10 #include <optee_include/tee_base_types.h> 11 #include <optee_include/tee_client_api.h> 12 13 TEEC_Result OpteeClientApiLibInitialize(void); 14 void optee_get_shm_config(phys_addr_t *base, phys_size_t *size); 15 16 #endif /*_OPTEE_CLIENT_APILIB_H_*/ 17