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