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