move syscalls.h to shared/syscalls.h

1 files changed, 0 insertions, 43 deletions

diff --git a/src/kernel/syscalls.h b/src/kernel/syscalls.h
deleted file mode 100644
index c390c73..0000000
--- a/src/kernel/syscalls.h
+++ /dev/null
@@ -1,43 +0,0 @@
-// note: this file gets included in both kernel and userland
-#pragma once
-#include <stddef.h>
-
-typedef int fd_t;
-typedef int fs_handle_t;
-
-enum {
-	// idc about stable syscall numbers just yet
-	_SYSCALL_EXIT,
-	_SYSCALL_AWAIT,
-	_SYSCALL_FORK,
-
-	_SYSCALL_FS_OPEN,
-	_SYSCALL_MOUNT,
-
-	_SYSCALL_FD_READ,
-	_SYSCALL_FD_WRITE,
-	_SYSCALL_FD_CLOSE,
-};
-
-/** Kills the current process.
- * TODO: what happens to the children?
- */
-_Noreturn void _syscall_exit(const char *msg, size_t len);
-
-/** Waits for a child to exit, putting its exit message into *buf.
- * @return the length of the message
- */
-int _syscall_await(char *buf, int len);
-
-/** Creates a copy of the current process, and executes it.
- * All user memory pages get copied too.
- * @return 0 in the child, a meaningless positive value in the parent.
- */
-int _syscall_fork();
-
-fd_t _syscall_fs_open(const char *path, int len);
-int _syscall_mount(const char *path, int len, fd_t fd);
-
-int _syscall_fd_read(fd_t fd, char *buf, int len);
-int _syscall_fd_write(fd_t fd, char *buf, int len);
-int _syscall_fd_close(fd_t fd);