| /* SPDX-License-Identifier: BSD-2-Clause */ |
| /* |
| * Copyright (c) 2019, Linaro Limited |
| */ |
| |
| #ifndef __KERNEL_USER_MODE_CTX_H |
| #define __KERNEL_USER_MODE_CTX_H |
| |
| #include <assert.h> |
| #include <kernel/user_mode_ctx_struct.h> |
| #include <kernel/user_ta.h> |
| #include <stdbool.h> |
| |
| static inline bool is_user_mode_ctx(struct tee_ta_ctx *ctx) |
| { |
| return is_user_ta_ctx(ctx); |
| } |
| |
| static inline struct user_mode_ctx *to_user_mode_ctx(struct tee_ta_ctx *ctx) |
| { |
| assert(is_user_mode_ctx(ctx)); |
| return container_of(ctx, struct user_mode_ctx, ctx); |
| } |
| |
| void user_mode_ctx_print_mappings(struct user_mode_ctx *umctx); |
| |
| #endif /*__KERNEL_USER_MODE_CTX_H*/ |