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 8 #include <optee_include/tee_base_types.h> 9 #include <optee_include/OpteeClientApiLib.h> 10 11 TEEC_Result TEEC_SMC_OpenSession(TEEC_Context * context, 12 TEEC_Session * session, 13 const TEEC_UUID * destination, 14 TEEC_Operation * operation, 15 uint32_t *error_origin); 16 17 TEEC_Result TEEC_SMC_CloseSession(TEEC_Session *session, 18 uint32_t *error_origin); 19 20 TEEC_Result TEEC_SMC_InvokeCommand(TEEC_Session *session, 21 uint32_t cmd_id, 22 TEEC_Operation *operation, 23 uint32_t *error_origin); 24 25 TEEC_Result TEEC_SMC_RequestCancellation(TEEC_Operation *operation, 26 uint32_t *error_origin); 27