nxe_pkt_put       774 dev/pci/if_nxe.c void			nxe_pkt_put(struct nxe_pkt_list *, struct nxe_pkt *);
nxe_pkt_put      1290 dev/pci/if_nxe.c 			nxe_pkt_put(sc->sc_tx_pkts, pkt);