Symbol: PCI_PRODUCT_TI_PCI1250
sys/dev/pci/pccbb.c
245
{ MAKEID(PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI1250), CB_TI125X,
sys/dev/pci/pcidevs_data.h
35771
PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI1250,