HelenOS sources

pci_ctl_get_devices_srv   45 uspace/drv/bus/pci/pciintel/ctl.c static void pci_ctl_get_devices_srv(pci_bus_t *, ipc_call_t *);
pci_ctl_get_devices_srv   72 uspace/drv/bus/pci/pciintel/ctl.c 			pci_ctl_get_devices_srv(bus, &call);