HelenOS sources

udebug_syscall_event   93 kernel/generic/include/udebug/udebug.h void udebug_syscall_event(sysarg_t, sysarg_t, sysarg_t, sysarg_t, sysarg_t,
udebug_syscall_event  160 kernel/generic/src/syscall/syscall.c 		udebug_syscall_event(a1, a2, a3, a4, a5, a6, id, 0, false);
udebug_syscall_event  177 kernel/generic/src/syscall/syscall.c 		udebug_syscall_event(a1, a2, a3, a4, a5, a6, id, rc, true);