dfx_xmt_done      303 drivers/net/fddi/defxx.c static int		dfx_xmt_done(DFX_board_t *bp);
dfx_xmt_done     1882 drivers/net/fddi/defxx.c 	if(dfx_xmt_done(bp))				/* free consumed xmt packets */