HelenOS sources

sys_debug_console   76 kernel/generic/include/console/console.h extern sysarg_t sys_debug_console(void);
sys_debug_console  133 kernel/generic/src/syscall/syscall.c 	[SYS_DEBUG_CONSOLE] = (syshandler_t) sys_debug_console,