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 
11 int intel_pxp_tee_component_init(struct intel_pxp *pxp);
12 void intel_pxp_tee_component_fini(struct intel_pxp *pxp);
13 
14 int intel_pxp_tee_cmd_create_arb_session(struct intel_pxp *pxp,
15 					 int arb_session_id);
16 
17 #endif /* __INTEL_PXP_TEE_H__ */
18