Changes in kernel/generic/src/syscall/syscall.c [6b10dab:2fa10f6] in mainline

File:

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

kernel/generic/src/syscall/syscall.c

@@ -56 +56 @@
 
 /** Dispatch system call */
-sysarg_t syscall_handler(sysarg_t a1, sysarg_t a2, sysarg_t a3,
-    sysarg_t a4, sysarg_t a5, sysarg_t a6, sysarg_t id)
+unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3,
+    unative_t a4, unative_t a5, unative_t a6, unative_t id)
 {
         /* Do userpace accounting */
@@ -74 +74 @@
 #endif
         
-        sysarg_t rc;
+        unative_t rc;
         if (id < SYSCALL_END) {
                 rc = syscall_table[id](a1, a2, a3, a4, a5, a6);
@@ -147 +147 @@
         (syshandler_t) sys_ipc_register_irq,
         (syshandler_t) sys_ipc_unregister_irq,
-        (syshandler_t) sys_ipc_connect_kbox,
         
         /* Event notification syscalls. */
@@ -160 +159 @@
         (syshandler_t) sys_physmem_map,
         (syshandler_t) sys_iospace_enable,
-        (syshandler_t) sys_interrupt_enable,
         
         /* Sysinfo syscalls */
@@ -170 +168 @@
         /* Debug calls */
         (syshandler_t) sys_debug_enable_console,
-        (syshandler_t) sys_debug_disable_console
+        (syshandler_t) sys_debug_disable_console,
+        
+        (syshandler_t) sys_ipc_connect_kbox
 };