| 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 <event/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, |