HelenOS sources

udebug_ipc.h   43 kernel/generic/src/ipc/kbox.c #include <udebug/udebug_ipc.h>
udebug_ipc.h   37 kernel/generic/src/ipc/ops/debug.c #include <udebug/udebug_ipc.h>
udebug_ipc.h   51 kernel/generic/src/udebug/udebug_ipc.c #include <udebug/udebug_ipc.h>