pci_get_device(9) on Linux

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

begin or continue searching for a PCI device by vendor/device id

pci_get_device(9) on Linux now