pci_read_interrupt 766 uspace/drv/bus/pci/pciintel/pci.c pci_read_interrupt(fun); pci_read_interrupt 104 uspace/drv/bus/pci/pciintel/pci.h extern void pci_read_interrupt(pci_fun_t *);