Symbol: PCI_PRODUCT_TI_PCI7XX1
sys/dev/pci/pccbb.c
269
{ MAKEID(PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI7XX1), CB_TI12XX,
sys/dev/pci/pcidevs_data.h
35667
PCI_VENDOR_TI, PCI_PRODUCT_TI_PCI7XX1,