do_mq_timedreceive 1225 ipc/mqueue.c   	return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);
do_mq_timedreceive 1569 ipc/mqueue.c   	return do_mq_timedreceive(mqdes, u_msg_ptr, msg_len, u_msg_prio, p);