/* Receive a message from a message queue. 
See IEEE 1003.1  */
int mq_receive(mqd_t mqdes, char *msg_ptr, size_t msg_len, unsigned int *msg_prio)
/* Receive a message from a message queue. 
See IEEE 1003.1  */
int mq_receive(mqd_t mqdes, char *msg_ptr, size_t msg_len, unsigned int *msg_prio)
{
	mqueue_desc *mqd = (mqueue_desc *)mqdes;
	return receive_message(mqd, msg_ptr, msg_len, K_FOREVER);
}