pci_count_lintr
count += pci_count_lintr(bus);
count = pci_count_lintr(bus);
int pci_count_lintr(int bus);