HelenOS sources

pci_add_range     666 uspace/drv/bus/pci/pciintel/pci.c 	pci_add_range(fun, range_addr, range_size, io);
pci_add_range     102 uspace/drv/bus/pci/pciintel/pci.h extern void pci_add_range(pci_fun_t *, uint64_t, size_t, bool);