Searched refs:msgqueue_send (Results 1 – 3 of 3) sorted by relevance
10 msgqueue_send(msgqueue_t *msgqueue, size_t size, gvaddr_t data, bool push);
22 msgqueue_send(msgqueue_t *msgqueue, size_t size, gvaddr_t data, bool push) in msgqueue_send() function
145 bool_result_t res = msgqueue_send(msgqueue, size, (gvaddr_t)data, push); in hypercall_msgqueue_send()
Completed in 40 milliseconds