| /kernel/trunk/generic/src/syscall/syscall.c |
|---|
| 27,14 → 27,11 |
| */ |
| #include <syscall/syscall.h> |
| #include <proc/thread.h> |
| #include <print.h> |
| #include <putchar.h> |
| int sys_ctl(void) { |
| printf("Thread finished\n"); |
| thread_exit(); |
| /* Unreachable */ |
| printf("SYS_CTL\n"); |
| return 0; |
| } |
| 47,7 → 44,7 |
| for (i = 0; i < count; i++) |
| putchar(((char *) buf)[i]); |
| return count; |
| return 0; |
| } |
| syshandler_t syscall_table[SYSCALL_END] = { |