/*
 * Copyright 2017, Rockchip Electronics Co., Ltd
 * hisping lin, <hisping.lin@rock-chips.com>
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */
#include <optee_include/tee_base_types.h>
#include <optee_include/tee_client_api.h>

TEEC_Result OpteeClientApiLibInitialize(void);