vmxnet3_rxqueue_fini
void vmxnet3_rxqueue_fini(vmxnet3_softc_t *dp, vmxnet3_rxqueue_t *rxq);
vmxnet3_rxqueue_fini(dp, rxq);