Symbol: __pipelined_op
ipc/mqueue.c
1016
__pipelined_op(wake_q, info, receiver);
ipc/mqueue.c
1034
__pipelined_op(wake_q, info, sender);