1/* SPDX-License-Identifier: MIT */
 2/*
 3 * Copyright(c) 2020, Intel Corporation. All rights reserved.
 4 */
 5
 6#ifndef __INTEL_PXP_TEE_H__
 7#define __INTEL_PXP_TEE_H__
 8
 9#include "intel_pxp.h"
10
11int intel_pxp_tee_component_init(struct intel_pxp *pxp);
12void intel_pxp_tee_component_fini(struct intel_pxp *pxp);
13
14int intel_pxp_tee_cmd_create_arb_session(struct intel_pxp *pxp,
15					 int arb_session_id);
16
17int intel_pxp_tee_stream_message(struct intel_pxp *pxp,
18				 u8 client_id, u32 fence_id,
19				 void *msg_in, size_t msg_in_len,
20				 void *msg_out, size_t msg_out_len);
21
22#endif /* __INTEL_PXP_TEE_H__ */