HelenOS sources

pci_get_devices   208 uspace/app/pci/pci.c 	rc = pci_get_devices(pci, &dev_ids, &dev_cnt);
pci_get_devices    45 uspace/lib/device/include/pci.h extern errno_t pci_get_devices(pci_t *, devman_handle_t **, size_t *);
HelenOS homepage, sources at GitHub