pipelined_send    882 ipc/mqueue.c   			pipelined_send(info, msg_ptr, receiver);
pipelined_send    706 ipc/msg.c      	if (!pipelined_send(msq, msg)) {