1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright 2022 NXP
4  */
5 
6 #ifndef __KERNEL_STMM_SP_H
7 #define __KERNEL_STMM_SP_H
8 
9 #include <assert.h>
10 #include <config.h>
11 #include <kernel/tee_ta_manager.h>
12 #include <kernel/user_mode_ctx_struct.h>
13 #include <types_ext.h>
14 
15 struct stmm_ctx {
16 	struct user_mode_ctx uctx;
17 	struct tee_ta_ctx ta_ctx;
18 };
19 
is_stmm_ctx(struct ts_ctx * ctx __unused)20 static inline bool is_stmm_ctx(struct ts_ctx *ctx __unused)
21 {
22 	return false;
23 }
24 
to_stmm_ctx(struct ts_ctx * ctx __unused)25 static inline struct stmm_ctx *to_stmm_ctx(struct ts_ctx *ctx __unused)
26 {
27 	assert(is_stmm_ctx(ctx));
28 	return NULL;
29 }
30 
31 static inline TEE_Result
stmm_init_session(const TEE_UUID * uuid __unused,struct tee_ta_session * s __unused)32 stmm_init_session(const TEE_UUID *uuid __unused,
33 		  struct tee_ta_session *s __unused)
34 {
35 	return TEE_ERROR_ITEM_NOT_FOUND;
36 }
37 
38 #endif /*__KERNEL_STMM_SP_H*/
39