41,6 → 41,7 |
#include <proc/program.h> |
#include <mm/as.h> |
#include <print.h> |
#include <putchar.h> |
#include <arch.h> |
#include <debug.h> |
#include <ddi/device.h> |
48,7 → 49,6 |
#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,9 → 126,6 |
(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, |