46,6 → 46,7 |
#include <security/cap.h> |
#include <syscall/copy.h> |
#include <sysinfo/sysinfo.h> |
#include <console/console.h> |
|
/** Print using kernel facility |
* |
78,6 → 79,13 |
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) |
130,5 → 138,8 |
|
/* Sysinfo syscalls */ |
sys_sysinfo_valid, |
sys_sysinfo_value |
sys_sysinfo_value, |
|
/* Debug calls */ |
sys_debug_enable_console |
}; |