133 def has_driver(dev_id):  argument
135     return "Driver_str" in devices[dev_id]
138 def get_pci_device_details(dev_id, probe_lspci):  argument
143         extra_info = subprocess.check_output(["lspci", "-vmmks", dev_id]).splitlines()
153     for base, dirs, _ in os.walk("/sys/bus/pci/devices/%s/" % dev_id):
289 def unbind_one(dev_id, force):  argument
291     dev = devices[dev_id]
292     if not has_driver(dev_id):
300               "Skipping unbind" % dev_id, file=sys.stderr)
309                  (dev_id, filename))
310     f.write(dev_id)
314 def bind_one(dev_id, driver, force):  argument
317     dev = devices[dev_id]
323               "Not modifying" % dev_id, file=sys.stderr)
327     if has_driver(dev_id):
330                   (dev_id, driver), file=sys.stderr)
333         unbind_one(dev_id, force)
343         filename = "/sys/bus/pci/devices/%s/driver_override" % dev_id
349                       % (dev_id, filename), file=sys.stderr)
356                       "PCI ID " % (dev_id, driver), file=sys.stderr)
365                       % (dev_id, filename), file=sys.stderr)
374                       "driver %s" % (dev_id, driver), file=sys.stderr)
383               % (dev_id, filename), file=sys.stderr)
385             bind_one(dev_id, saved_driver, force)
388         f.write(dev_id)
394         tmp = get_pci_device_details(dev_id, True)
398               % (dev_id, driver), file=sys.stderr)
400             bind_one(dev_id, saved_driver, force)
406     filename = "/sys/bus/pci/devices/%s/driver_override" % dev_id
412                      % (dev_id, filename))
418                      % (dev_id, filename))