sbosse/basekernel
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Thu 17 Oct 23:42:52 CEST 2024

Browse Source
This commit is contained in:
sbosse 2024-10-17 23:43:12 +02:00
parent 5b605be449
commit c62c6a6e8d
1 changed files with 67 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

67
include/library/syscalls.h Normal file
View File

@ -0,0 +1,67 @@
/*
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.
*/
#ifndef SYSCALLS_H
#define SYSCALLS_H
#include "kernel/types.h"
#include "kernel/stats.h"
void syscall_debug(const char *str);
/* Syscalls that manipulate this process and its children. */
void syscall_process_exit(int status);
int syscall_process_yield();
int syscall_process_run(int fd, int argc, const char **argv);
int syscall_process_wrun(int fd, int argc, const char **argv, int * fds, int fd_len);
int syscall_process_fork();
int syscall_process_exec(int fd, int argc, const char **argv);
int syscall_process_self();
int syscall_process_parent();
int syscall_process_kill(unsigned int pid);
int syscall_process_reap(unsigned int pid);
int syscall_process_wait(struct process_info *info, int timeout);
int syscall_process_sleep(unsigned int ms);
int syscall_process_stats(struct process_stats *s, unsigned int pid);
extern void *syscall_process_heap(int a);
/* Syscalls that open or create new kernel objects for this process. */
int syscall_open_file(int fd, const char *path, int mode, kernel_flags_t flags);
int syscall_open_dir( int fd, const char *path, kernel_flags_t flags );
int syscall_open_window(int fd, int x, int y, int w, int h);
int syscall_open_console(int fd);
int syscall_open_pipe();
/* Syscalls that manipulate kernel objects for this process. */
int syscall_object_type(int fd);
int syscall_object_copy( int src, int dst );
int syscall_object_read(int fd, void *data, int length, kernel_io_flags_t flags );
int syscall_object_list( int fd, char *buffer, int buffer_len);
int syscall_object_write(int fd, const void *data, int length, kernel_io_flags_t flags );
int syscall_object_seek(int fd, int offset, int whence);
int syscall_object_size(int fd, int * dims, int n);
int syscall_object_remove( int fd, const char *name );
int syscall_object_close(int fd);
int syscall_object_set_tag(int fd, char *tag);
int syscall_object_get_tag(int fd, char *buffer, int buffer_size);
int syscall_object_max();
/* Syscalls that query or affect the whole system state. */
int syscall_system_stats(struct system_stats *s);
int syscall_bcache_stats(struct bcache_stats *s);
int syscall_bcache_flush();
int syscall_system_time( uint32_t *t );
int syscall_system_rtc( struct rtc_time *t );
int syscall_device_driver_stats(char * name, struct device_driver_stats * stats);
#endif