1 /* SPDX-License-Identifier: BSD-2-Clause */
2 /*
3  * Copyright (c) 2020, Arm Limited
4  */
5 
6 #include <kernel/ts_manager.h>
7 #include <kernel/user_mode_ctx.h>
8 #include <tee_api_types.h>
9 
10 #ifndef KERNEL_LDELF_LOADER_H
11 #define KERNEL_LDELF_LOADER_H
12 
13 TEE_Result ldelf_load_ldelf(struct user_mode_ctx *uctx);
14 TEE_Result ldelf_init_with_ldelf(struct ts_session *sess,
15 				 struct user_mode_ctx *uctx);
16 TEE_Result ldelf_dump_state(struct user_mode_ctx *uctx);
17 TEE_Result ldelf_dump_ftrace(struct user_mode_ctx *uctx,
18 			     void *buf, size_t *blen);
19 TEE_Result ldelf_dlopen(struct user_mode_ctx *uctx, TEE_UUID *uuid,
20 			uint32_t flags);
21 TEE_Result ldelf_dlsym(struct user_mode_ctx *uctx, TEE_UUID *uuid,
22 		       const char *sym, size_t maxlen, vaddr_t *val);
23 
24 #endif /* KERNEL_LDELF_LOADER_H */
25