PCI_PRODUCT_TI_PCI1251B  262 dev/pci/pccbb.c 	{ MAKEID(PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI1251B), CB_TI125X,
PCI_PRODUCT_TI_PCI1251B 11919 dev/pci/pcidevs_data.h 	    PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI1251B,