Symbol: pipelined_send
ipc/mqueue.c
1123
pipelined_send(&wake_q, info, msg_ptr, receiver);
ipc/msg.c
939
if (!pipelined_send(msq, msg, &wake_q)) {