Symbol: PCI_PRODUCT_TI_PCI1251B
sys/dev/pci/pccbb.c
255
{ MAKEID(PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI1251B), CB_TI125X,
sys/dev/pci/pcidevs_data.h
35803
PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI1251B,