pci_status_source  892 dev/pci/ahd_pci.c static const char *pci_status_source[] =
pci_status_source  975 dev/pci/ahd_pci.c 				printf(s, ahd_name(ahd), pci_status_source[i]);