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