Symbol: PCI_PRODUCT_TI_PCIXX12SD