pci_dev_present(9) on Linux

The text 9b2fb88c14fd, as Debian 7 (Wheezy) shipped it.

Returns 1 if device matching the device list is present, 0 if not.

pci_dev_present(9) on Linux now