pci_fc_ops_free_handle
pci_fc_ops_free_handle(c);
extern void pci_fc_ops_free_handle(fco_handle_t handle);