Symbol: t3_sge_deinit_sw
sys/dev/pci/cxgb/cxgb_adapter.h
529
void t3_sge_deinit_sw(adapter_t *);
sys/dev/pci/cxgb/cxgb_main.c
538
t3_sge_deinit_sw(sc);