Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/src/syscall/syscall.c

    r6c34f587 raf9dd1e  
    5050#include <synch/futex.h>
    5151#include <synch/smc.h>
     52#include <synch/smp_memory_barrier.h>
    5253#include <ddi/ddi.h>
    5354#include <ipc/event.h>
     
    5657#include <console/console.h>
    5758#include <udebug/udebug.h>
     59#include <log.h>
    5860
    5961/** Dispatch system call */
     
    8688                rc = syscall_table[id](a1, a2, a3, a4, a5, a6);
    8789        } else {
    88                 printf("Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
     90                log(LF_OTHER, LVL_ERROR,
     91                    "Task %" PRIu64": Unknown syscall %#" PRIxn, TASK->taskid, id);
    8992                task_kill_self(true);
    9093        }
     
    120123syshandler_t syscall_table[SYSCALL_END] = {
    121124        /* System management syscalls. */
    122         (syshandler_t) sys_klog,
    123         (syshandler_t) sys_tls_set,
     125        (syshandler_t) sys_kio,
    124126       
    125127        /* Thread and task related syscalls. */
     
    140142        (syshandler_t) sys_futex_wakeup,
    141143        (syshandler_t) sys_smc_coherence,
     144        (syshandler_t) sys_smp_memory_barrier,
     145       
    142146       
    143147        /* Address space related syscalls. */
     
    163167       
    164168        /* Event notification syscalls. */
    165         (syshandler_t) sys_event_subscribe,
    166         (syshandler_t) sys_event_unmask,
     169        (syshandler_t) sys_ipc_event_subscribe,
     170        (syshandler_t) sys_ipc_event_unsubscribe,
     171        (syshandler_t) sys_ipc_event_unmask,
    167172       
    168173        /* Capabilities related syscalls. */
     
    178183        (syshandler_t) sys_iospace_enable,
    179184        (syshandler_t) sys_iospace_disable,
    180         (syshandler_t) sys_irq_register,
    181         (syshandler_t) sys_irq_unregister,
     185       
     186        (syshandler_t) sys_ipc_irq_subscribe,
     187        (syshandler_t) sys_ipc_irq_unsubscribe,
    182188       
    183189        /* Sysinfo syscalls. */
     
    190196       
    191197        /* Kernel console syscalls. */
    192         (syshandler_t) sys_debug_activate_console
     198        (syshandler_t) sys_debug_console,
     199       
     200        (syshandler_t) sys_klog,
    193201};
    194202
Note: See TracChangeset for help on using the changeset viewer.