msg_dequeue        68 sys/ipc/msg.c  static thread_t	msg_dequeue(queue_t);
msg_dequeue       134 sys/ipc/msg.c  		t = msg_dequeue(&obj->recvq);
msg_dequeue       257 sys/ipc/msg.c  	t = msg_dequeue(&obj->sendq);