1 /* SPDX-License-Identifier: BSD-2-Clause */ 2 /* 3 * Copyright (c) 2020, Arm Limited 4 */ 5 6 #ifndef LDELF_SYSCALLS_H 7 #define LDELF_SYSCALLS_H 8 9 #include <stdint.h> 10 #include <tee_api_types.h> 11 #include <types_ext.h> 12 13 void _ldelf_return(unsigned long ret) __noreturn; 14 void _ldelf_log(const void *buf, size_t len); 15 void _ldelf_panic(unsigned long code); 16 TEE_Result _ldelf_map_zi(vaddr_t *va, size_t num_bytes, size_t pad_begin, 17 size_t pad_end, unsigned long flags); 18 TEE_Result _ldelf_unmap(vaddr_t va, size_t num_bytes); 19 TEE_Result _ldelf_open_bin(const TEE_UUID *uuid, size_t uuid_size, 20 uint32_t *handle); 21 TEE_Result _ldelf_close_bin(unsigned long handle); 22 TEE_Result _ldelf_map_bin(vaddr_t *va, size_t num_bytes, unsigned long handle, 23 size_t offs, size_t pad_begin, size_t pad_end, 24 unsigned long flags); 25 TEE_Result _ldelf_cp_from_bin(void *dst, size_t offs, size_t num_bytes, 26 unsigned long handle); 27 TEE_Result _ldelf_set_prot(unsigned long va, size_t num_bytes, 28 unsigned long flags); 29 TEE_Result _ldelf_remap(unsigned long old_va, vaddr_t *new_va, size_t num_bytes, 30 size_t pad_begin, size_t pad_end); 31 TEE_Result _ldelf_gen_rnd_num(void *buf, size_t num_bytes); 32 33 #endif /* LDELF_SYSCALLS_H */ 34