Symbol: free_pci_list
src/add-ons/kernel/drivers/network/ether/etherpci/etherpci.c
1371
free_pci_list(gDevList);
src/add-ons/kernel/drivers/network/ether/etherpci/etherpci.c
1402
free_pci_list(gDevList);