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