41,7 → 41,6 |
#include <proc/program.h> |
#include <mm/as.h> |
#include <print.h> |
#include <putchar.h> |
#include <arch.h> |
#include <debug.h> |
#include <ddi/device.h> |
49,6 → 48,7 |
#include <synch/futex.h> |
#include <synch/smc.h> |
#include <ddi/ddi.h> |
#include <ipc/event.h> |
#include <security/cap.h> |
#include <sysinfo/sysinfo.h> |
#include <console/console.h> |
126,6 → 126,9 |
(syshandler_t) sys_ipc_hangup, |
(syshandler_t) sys_ipc_register_irq, |
(syshandler_t) sys_ipc_unregister_irq, |
|
/* Event notification syscalls. */ |
(syshandler_t) sys_event_subscribe, |
|
/* Capabilities related syscalls. */ |
(syshandler_t) sys_cap_grant, |