udebug_args_read 448 kernel/generic/src/udebug/udebug_ops.c errno_t udebug_args_read(thread_t *thread, void **buffer) udebug_args_read 126 uspace/lib/c/generic/udebug.c errno_t udebug_args_read(async_sess_t *sess, thash_t tid, sysarg_t *buffer)HelenOS homepage, sources at GitHub