| 41,64 → 41,19 |
|---|
| #include <proc/program.h> |
| #include <mm/as.h> |
| #include <print.h> |
| #include <putchar.h> |
| #include <errno.h> |
| #include <arch.h> |
| #include <debug.h> |
| #include <ddi/device.h> |
| #include <ipc/sysipc.h> |
| #include <synch/futex.h> |
| #include <synch/smc.h> |
| #include <ddi/ddi.h> |
| #include <event/event.h> |
| #include <security/cap.h> |
| #include <syscall/copy.h> |
| #include <sysinfo/sysinfo.h> |
| #include <console/console.h> |
| #include <udebug/udebug.h> |
| |
| /** Print using kernel facility |
| * |
| * Print to kernel log. |
| * |
| */ |
| static unative_t sys_klog(int fd, const void * buf, size_t count) |
| { |
| char *data; |
| int rc; |
| |
| if (count > PAGE_SIZE) |
| return ELIMIT; |
| |
| if (count > 0) { |
| data = (char *) malloc(count + 1, 0); |
| if (!data) |
| return ENOMEM; |
| |
| rc = copy_from_uspace(data, buf, count); |
| if (rc) { |
| free(data); |
| return rc; |
| } |
| data[count] = 0; |
| |
| printf("%s", data); |
| free(data); |
| } else |
| klog_update(); |
| |
| return count; |
| } |
| |
| /** Tell kernel to get keyboard/console access again */ |
| static unative_t sys_debug_enable_console(void) |
| { |
| #ifdef CONFIG_KCONSOLE |
| grab_console(); |
| return true; |
| #else |
| return false; |
| #endif |
| } |
| |
| /** Print a hex integer into klog */ |
| static unative_t sys_debug_putint(unative_t i) |
| { |
| 106,13 → 61,6 |
|---|
| return 0; |
| } |
| |
| /** Tell kernel to relinquish keyboard/console access */ |
| static unative_t sys_debug_disable_console(void) |
| { |
| release_console(); |
| return true; |
| } |
| |
| /** Dispatch system call */ |
| unative_t syscall_handler(unative_t a1, unative_t a2, unative_t a3, |
| unative_t a4, unative_t a5, unative_t a6, unative_t id) |
| 122,6 → 70,7 |
|---|
| #ifdef CONFIG_UDEBUG |
| udebug_syscall_event(a1, a2, a3, a4, a5, a6, id, 0, false); |
| #endif |
| |
| if (id < SYSCALL_END) { |
| rc = syscall_table[id](a1, a2, a3, a4, a5, a6); |
| } else { |
| 143,6 → 92,7 |
|---|
| udebug_stoppable_begin(); |
| udebug_stoppable_end(); |
| #endif |
| |
| return rc; |
| } |
| |
| 184,11 → 134,15 |
|---|
| (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, |
| |
| /* DDI related syscalls. */ |
| (syshandler_t) sys_device_assign_devno, |
| (syshandler_t) sys_physmem_map, |
| (syshandler_t) sys_iospace_enable, |
| (syshandler_t) sys_preempt_control, |