Symbol: scic_library_get_pci_device_controller_count