udebug_call_receive 41 kernel/generic/include/udebug/udebug_ipc.h void udebug_call_receive(call_t *call); udebug_call_receive 179 kernel/generic/src/ipc/kbox.c udebug_call_receive(call);