Searched refs:msgqueue_receive_msg (Results 1 – 3 of 3) sorted by relevance
23 msgqueue_receive_msg(msgqueue_t *msgqueue, kernel_or_gvaddr_t buffer,
36 return msgqueue_receive_msg(msgqueue, buffer_union, max_size, false); in msgqueue_receive()
87 msgqueue_receive_msg(msgqueue_t *msgqueue, kernel_or_gvaddr_t buffer, in msgqueue_receive_msg() function
Completed in 27 milliseconds