Symbol: PCI_PRODUCT_TI_PCI1251
sys/dev/pci/pccbb.c
253
{ MAKEID(PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI1251), CB_TI125X,
sys/dev/pci/pcidevs_data.h
35795
PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI1251,