pci_count_lintr
count += pci_count_lintr(bus);
if (pci_count_lintr(bus) != 0) {
int pci_count_lintr(int bus);