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)20static inline bool is_stmm_ctx(struct ts_ctx *ctx __unused) 21 { 22 return false; 23 } 24 to_stmm_ctx(struct ts_ctx * ctx __unused)25static 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)32stmm_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