From 919c31d3a8ba56617d332e5937a35e4943c697d8 Mon Sep 17 00:00:00 2001 From: sbosse Date: Mon, 14 Oct 2024 23:14:30 +0200 Subject: [PATCH] Mon 14 Oct 23:14:00 CEST 2024 --- library/syscalls.c | 200 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 200 insertions(+) create mode 100644 library/syscalls.c diff --git a/library/syscalls.c b/library/syscalls.c new file mode 100644 index 0000000..f2503a0 --- /dev/null +++ b/library/syscalls.c @@ -0,0 +1,200 @@ +/* +Copyright (C) 2016-2019 The University of Notre Dame +This software is distributed under the GNU General Public License. +See the file LICENSE for details. +*/ + +#include "kernel/syscall.h" +#include "kernel/stats.h" +#include "kernel/gfxstream.h" + +void syscall_debug(const char *str) +{ + syscall(SYSCALL_DEBUG, (uint32_t) str, 0, 0, 0, 0); +} + +void syscall_process_exit(int status) +{ + syscall(SYSCALL_PROCESS_EXIT, status, 0, 0, 0, 0); +} + +int syscall_process_yield() +{ + return syscall(SYSCALL_PROCESS_YIELD, 0, 0, 0, 0, 0); +} + +int syscall_process_run(int fd, int argc, const char **argv) +{ + return syscall(SYSCALL_PROCESS_RUN, fd, argc, (uint32_t) argv, 0, 0); +} + +int syscall_process_wrun(int fd, int argc, const char **argv, int * fds, int fd_len) +{ + return syscall(SYSCALL_PROCESS_WRUN, fd, argc, (uint32_t) argv, (uint32_t) fds, fd_len); +} + +int syscall_process_fork() +{ + return syscall(SYSCALL_PROCESS_FORK, 0, 0, 0, 0, 0); +} + +void syscall_process_exec( int fd, int argc, const char **argv) +{ + syscall(SYSCALL_PROCESS_EXEC, fd, argc, (uint32_t) argv, 0, 0); +} + +int syscall_process_self() +{ + return syscall(SYSCALL_PROCESS_SELF, 0, 0, 0, 0, 0); +} + +int syscall_process_parent() +{ + return syscall(SYSCALL_PROCESS_PARENT, 0, 0, 0, 0, 0); +} + +int syscall_process_kill(unsigned int pid) +{ + return syscall(SYSCALL_PROCESS_KILL, pid, 0, 0, 0, 0); +} + +int syscall_process_reap(unsigned int pid) +{ + return syscall(SYSCALL_PROCESS_REAP, pid, 0, 0, 0, 0); +} + +int syscall_process_wait(struct process_info *info, int timeout) +{ + return syscall(SYSCALL_PROCESS_WAIT, (uint32_t) info, timeout, 0, 0, 0); +} + +int syscall_process_sleep(unsigned int ms) +{ + return syscall(SYSCALL_PROCESS_SLEEP, ms, 0, 0, 0, 0); +} + +int syscall_process_stats(struct process_stats *s, unsigned int pid) +{ + return syscall(SYSCALL_PROCESS_STATS, (uint32_t) s, pid, 0, 0, 0); +} + +extern void *syscall_process_heap(int a) +{ + return (void *) syscall(SYSCALL_PROCESS_HEAP, a, 0, 0, 0, 0); +} + +int syscall_open_file( int fd, const char *path, int mode, kernel_flags_t flags) +{ + return syscall(SYSCALL_OPEN_FILE, fd, (uint32_t) path, mode, flags, 0); +} + +int syscall_open_dir( int fd, const char *name, kernel_flags_t flags ) +{ + return syscall(SYSCALL_OPEN_DIR, fd, (uint32_t) name, flags, 0, 0 ); +} + +int syscall_open_window(int wd, int x, int y, int w, int h) +{ + return syscall(SYSCALL_OPEN_WINDOW, wd, x, y, w, h); +} + +int syscall_open_console(int wd) +{ + return syscall(SYSCALL_OPEN_CONSOLE, wd, 0, 0, 0, 0); +} + +int syscall_open_pipe() +{ + return syscall(SYSCALL_OPEN_PIPE, 0, 0, 0, 0, 0); +} + +int syscall_object_type(int fd) +{ + return syscall(SYSCALL_OBJECT_TYPE, fd, 0, 0, 0, 0); +} + +int syscall_object_copy( int src, int dst ) +{ + return syscall(SYSCALL_OBJECT_COPY,src,dst,0,0,0); +} + +int syscall_object_read(int fd, void *data, int length, kernel_io_flags_t flags ) +{ + return syscall(SYSCALL_OBJECT_READ, fd, (uint32_t) data, length, flags, 0); +} + +int syscall_object_list( int fd, char *buffer, int n) +{ + return syscall(SYSCALL_OBJECT_LIST, fd, (uint32_t) buffer, (uint32_t) n, 0, 0); +} + +int syscall_object_write(int fd, const void *data, int length, kernel_io_flags_t flags ) +{ + return syscall(SYSCALL_OBJECT_WRITE, fd, (uint32_t) data, length, flags, 0); +} + +int syscall_object_seek(int fd, int offset, int whence) +{ + return syscall(SYSCALL_OBJECT_SEEK, fd, offset, whence, 0, 0); +} + +int syscall_object_remove(int fd, const char *name ) +{ + return syscall(SYSCALL_OBJECT_REMOVE, fd, (uint32_t) name, 0, 0, 0 ); +} + +int syscall_object_close(int fd) +{ + return syscall(SYSCALL_OBJECT_CLOSE, fd, 0, 0, 0, 0); +} + +int syscall_object_set_tag(int fd, char *tag) +{ + return syscall(SYSCALL_OBJECT_SET_TAG, fd, (uint32_t)tag, 0, 0, 0); +} + +int syscall_object_get_tag(int fd, char *buffer, int buffer_size) +{ + return syscall(SYSCALL_OBJECT_GET_TAG, fd, (uint32_t)buffer, buffer_size, 0, 0); +} + +int syscall_object_size(int fd, int *dims, int n) +{ + return syscall(SYSCALL_OBJECT_SIZE, fd, (uint32_t) dims, n, 0, 0); +} + +int syscall_object_max() +{ + return syscall(SYSCALL_OBJECT_MAX, 0, 0, 0, 0, 0); +} + +int syscall_system_stats(struct system_stats *s) +{ + return syscall(SYSCALL_SYSTEM_STATS, (uint32_t) s, 0, 0, 0, 0); +} + +int syscall_bcache_stats(struct bcache_stats *bstats) +{ + return syscall(SYSCALL_BCACHE_STATS, (uint32_t) bstats, 0, 0, 0, 0); +} + +int syscall_bcache_flush() +{ + return syscall(SYSCALL_BCACHE_FLUSH, 0, 0, 0, 0, 0); +} + +int syscall_system_time( uint32_t *t ) +{ + return syscall(SYSCALL_SYSTEM_TIME, (uint32_t)t, 0, 0, 0, 0); +} + +int syscall_system_rtc( struct rtc_time *time ) +{ + return syscall(SYSCALL_SYSTEM_RTC, (uint32_t)time, 0, 0, 0, 0); +} + +int syscall_device_driver_stats(char * name, void * stats) +{ + return syscall(SYSCALL_DEVICE_DRIVER_STATS, (uint32_t) name, (uint32_t) stats, 0, 0, 0); +} +