13#include <sys/select.h>
42__attribute__((__noreturn__))
void impl_syscall_thread_exit(
void);
96__attribute__((__noreturn__))
void impl_syscall_signal_return(
void *sp);
102int impl_syscall_io_pselect(
int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds,
const struct timespec *timeout,
const sigset_t *sigmask);
142#define define_syscall(name) impl_syscall_##name
fd_t impl_syscall_ipc_connect(const char *name, size_t buffer_size)
bool impl_syscall_wait_for_thread(tid_t tid)
long impl_syscall_io_pread(fd_t fd, void *buf, size_t count, off_t offset)
size_t impl_syscall_io_read(fd_t fd, void *buffer, size_t size)
void * impl_syscall_mmap_anonymous(ptr_t hint_addr, size_t size, mem_perm_t perm, mmap_flags_t flags)
long impl_syscall_clock_gettimeofday(struct timespec *tv)
pid_t impl_syscall_get_parent_pid(void)
off_t impl_syscall_io_seek(fd_t fd, off_t offset, io_seek_whence_t whence)
bool impl_syscall_munmap(void *addr, size_t size)
void * impl_syscall_mmap_file(ptr_t hint_addr, size_t size, mem_perm_t perm, mmap_flags_t flags, fd_t fd, off_t offset)
fd_t impl_syscall_memfd_create(const char *name, u32 flags)
long impl_syscall_vfs_fsync(fd_t fd, bool data_only)
bool impl_syscall_dmabuf_free(ptr_t vaddr, ptr_t paddr)
size_t impl_syscall_vfs_list_dir(fd_t fd, char *buffer, size_t buffer_size)
bool impl_syscall_dmabuf_unshare(ptr_t paddr, size_t size, void *vaddr)
bool impl_syscall_signal_register(signal_t signum, const sigaction_t *action)
pid_t impl_syscall_fork(void)
pid_t impl_syscall_wait_for_process(pid_t pid, u32 *exit_code, u32 flags)
off_t impl_syscall_io_tell(fd_t fd)
long impl_syscall_vfs_chdirat(fd_t dirfd, const char *path)
fd_t impl_syscall_io_dup(fd_t fd)
int impl_syscall_io_poll(struct pollfd *fds, nfds_t nfds, int timeout)
pid_t impl_syscall_get_pid(void)
long impl_syscall_clock_msleep(u64 ms)
u64 impl_syscall_arch_syscall(u64 nr, u64 arg1, u64 arg2, u64 arg3, u64 arg4)
bool impl_syscall_vm_protect(void *addr, size_t size, mem_perm_t perm)
tid_t impl_syscall_get_tid(void)
long impl_syscall_vfs_mount(const char *device, const char *mount_point, const char *fs_type, const char *options)
long impl_syscall_vfs_mkdir(const char *path)
long impl_syscall_vfs_unmount(const char *mount_point)
long impl_syscall_vfs_fchmodat(fd_t dirfd, const char *path, int mode, int flags)
long impl_syscall_thread_setname(tid_t tid, const char *name)
size_t impl_syscall_io_write(fd_t fd, const void *buffer, size_t size)
pid_t impl_syscall_spawn(const char *file_path, const char *const *argv, const char *const *envp)
fd_t impl_syscall_io_dup2(fd_t old_fd, fd_t new_fd)
long impl_syscall_signal_mask_op(int how, const sigset_t *set, sigset_t *oldset)
ssize_t impl_syscall_thread_getname(tid_t tid, char *buf, size_t buf_size)
long impl_syscall_execveat(fd_t dirfd, const char *file_path, const char *const *argv, const char *const *envp, u32 flags)
fd_t impl_syscall_vfs_openat(fd_t dirfd, const char *file_path, open_flags flags)
long impl_syscall_fd_manipulate(fd_t fd, u64 cmd, void *arg)
bool impl_syscall_io_close(fd_t fd)
long impl_syscall_vfs_symlink(const char *link_path, const char *target)
void impl_syscall_poweroff(bool reboot, u32 magic)
__attribute__((__noreturn__)) void impl_syscall_exit(u32 exit_code)
int impl_syscall_io_pselect(int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, const struct timespec *timeout, const sigset_t *sigmask)
bool impl_syscall_futex_wait(futex_word_t *futex, u32 val)
long impl_syscall_vfs_fstatat(fd_t dirfd, const char *file_path, file_stat_t *stat_buf, fstatat_flags flags)
long impl_syscall_vfs_unlinkat(fd_t dirfd, const char *path)
bool impl_syscall_futex_wake(futex_word_t *futex, size_t count)
bool impl_syscall_dmabuf_alloc(size_t n_pages, ptr_t *out_paddr, ptr_t *out_vaddr)
long impl_syscall_pipe(fd_t *out_read_fd, fd_t *out_write_fd, fd_flags_t flags)
void impl_syscall_yield_cpu(void)
long impl_syscall_signal_process(pid_t pid, signal_t signum)
fd_t impl_syscall_ipc_accept(fd_t fd)
ssize_t impl_syscall_io_readv(fd_t fd, const struct iovec *iov, int iov_count)
ssize_t impl_syscall_vfs_readlinkat(fd_t dirfd, const char *path, char *buf, size_t buf_size)
tid_t impl_syscall_create_thread(const char *name, thread_entry_t entry, void *arg, size_t stack_size, void *stack)
long impl_syscall_signal_thread(tid_t tid, signal_t signum)
bool impl_syscall_dmabuf_share(void *buf, size_t bufsize, ptr_t *out_paddr)
fd_t impl_syscall_ipc_create(const char *name, size_t max_pending_connections)
ssize_t impl_syscall_vfs_getcwd(char *buf, size_t buf_size)
void(* thread_entry_t)(void *arg)