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