Symbol: dc_pci_detach