pci_dev_present(9) on Linux

The text 4bda09c1e717, as Debian 9 (Stretch) shipped it. The page shows this text now.

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