Symbol: puc_pci_detach