| 46,7 → 46,6 |
|---|
| #include <security/cap.h> |
| #include <syscall/copy.h> |
| #include <sysinfo/sysinfo.h> |
| #include <console/console.h> |
| |
| /** Print using kernel facility |
| * |
| 79,13 → 78,6 |
|---|
| return count; |
| } |
| |
| /** Tell kernel to get keyboard/console access again */ |
| static __native sys_debug_enable_console(void) |
| { |
| arch_grab_console(); |
| return 0; |
| } |
| |
| /** Dispatch system call */ |
| __native syscall_handler(__native a1, __native a2, __native a3, |
| __native a4, __native id) |
| 138,8 → 130,5 |
|---|
| |
| /* Sysinfo syscalls */ |
| sys_sysinfo_valid, |
| sys_sysinfo_value, |
| |
| /* Debug calls */ |
| sys_debug_enable_console |
| sys_sysinfo_value |
| }; |