Changes in kernel/generic/src/syscall/syscall.c [b93d637:5bcf1f9] in mainline

File:

• kernel/generic/src/syscall/syscall.c (modified) (6 diffs)

kernel/generic/src/syscall/syscall.c

@@ -41 +41 @@
 #include <proc/program.h>
 #include <mm/as.h>
-#include <mm/page.h>
 #include <print.h>
 #include <arch.h>
@@ -87 +86 @@
         } else {
                 printf("Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
-                task_kill(TASK->taskid);
-                thread_exit();
+                task_kill_self(true);
         }
         
@@ -132 +130 @@
         (syshandler_t) sys_task_set_name,
         (syshandler_t) sys_task_kill,
+        (syshandler_t) sys_task_exit,
         (syshandler_t) sys_program_spawn_loader,
         
@@ -145 +144 @@
         (syshandler_t) sys_as_area_destroy,
         
-        /* Page mapping related syscalls. */
-        (syshandler_t) sys_page_find_mapping,
-        
         /* IPC related syscalls. */
         (syshandler_t) sys_ipc_call_sync_fast,
@@ -160 +156 @@
         (syshandler_t) sys_ipc_poke,
         (syshandler_t) sys_ipc_hangup,
-        (syshandler_t) sys_ipc_register_irq,
-        (syshandler_t) sys_ipc_unregister_irq,
         (syshandler_t) sys_ipc_connect_kbox,
         
@@ -175 +169 @@
         (syshandler_t) sys_physmem_map,
         (syshandler_t) sys_iospace_enable,
+        (syshandler_t) sys_register_irq,
+        (syshandler_t) sys_unregister_irq,
         
         /* Sysinfo syscalls */