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

/barrelfish-2018-10-04/include/flounder/
H A Dflounder_txqueue.h101 void txq_msg_st_free(struct txq_msg_st *st);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dflounder_txqueue.c140 void txq_msg_st_free(struct txq_msg_st *st) function
190 txq_msg_st_free(st);
/barrelfish-2018-10-04/lib/dma/client/
H A Ddma_client_channel.c389 txq_msg_st_free(msg_st);
/barrelfish-2018-10-04/usr/drivers/xeon_phi/
H A Dinterphi.c447 txq_msg_st_free(msg_st);
1467 txq_msg_st_free(msg_st);

Completed in 52 milliseconds