Searched refs:txq_sent_cb (Results 1 - 2 of 2) sorted by relevance
/barrelfish-2018-10-04/include/flounder/ |
H A D | flounder_txqueue.h | 31 #define TXQCONT(a) MKCLOSURE(txq_sent_cb,a) 108 void txq_sent_cb(void *arg);
|
/barrelfish-2018-10-04/lib/barrelfish/ |
H A D | flounder_txqueue.c | 158 void txq_sent_cb(void *arg) function 177 TXQ_DEBUG("txq_sent_cb: st=%p, head=%p, tail=%p, count=%u\n", st, q->head, 181 TXQ_DEBUG("txq_sent_cb: st=%p, register sending head=%p, tail=%p, count=%u\n",
|
Completed in 38 milliseconds