| 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> |
| 127,9 → 127,6 |
|---|
| (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, |
| (syshandler_t) sys_cap_revoke, |