37,13 → 37,6 |
#include <debug.h> |
#include <ipc/sysipc.h> |
|
static __native sys_ctl(void) { |
printf("Thread finished\n"); |
thread_exit(); |
/* Unreachable */ |
return 0; |
} |
|
static __native sys_io(int fd, const void * buf, size_t count) { |
|
// TODO: buf sanity checks and a lot of other stuff ... |
56,7 → 49,6 |
return count; |
} |
|
|
static __native sys_mmap(void *address, size_t size, int flags) |
{ |
if (as_area_create(AS, flags, size, (__address) address)) |
71,8 → 63,9 |
} |
|
syshandler_t syscall_table[SYSCALL_END] = { |
sys_ctl, |
sys_io, |
sys_thread_create, |
sys_thread_exit, |
sys_mmap, |
sys_mremap, |
sys_ipc_call_sync_fast, |