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__ */
23