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