Searched refs:send_message (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/lib/rcce/ |
H A D | internal.h | 69 errval_t send_message(char *msg, size_t size, coreid_t dest);
|
H A D | rcce.c | 173 errval_t err = send_message(privbuf, size, RC_COREID[dest]);
|
H A D | ring_barriers.c | 193 errval_t send_message(char *msg, size_t size, coreid_t dest) function
|
/barrelfish-master/usr/netfile/ |
H A D | netfile.c | 285 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