pipelined_send   1075 ipc/mqueue.c   			pipelined_send(&wake_q, info, msg_ptr, receiver);
pipelined_send    908 ipc/msg.c      	if (!pipelined_send(msq, msg, &wake_q)) {