Searched refs:send_message (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/lib/rcce/
H A Dinternal.h69 errval_t send_message(char *msg, size_t size, coreid_t dest);
H A Drcce.c173 errval_t err = send_message(privbuf, size, RC_COREID[dest]);
H A Dring_barriers.c193 errval_t send_message(char *msg, size_t size, coreid_t dest) function
/barrelfish-master/usr/netfile/
H A Dnetfile.c285 static errval_t send_message(struct tcp_pcb *pcb, void *msg, size_t len);
301 static errval_t send_message(struct tcp_pcb *pcb, void *msg, size_t len) function
305 // debug_printf("send_message(pcb: %p, msg: %p, len: %d)\n",
319 send_message(pcb, msg, len);
330 send_message(pcb, msg + send_size, len - send_size);
343 // debug_printf("done send_message()\n");
384 err = send_message(pcb, buf, n);

Completed in 34 milliseconds