Symbol: PCI_PRODUCT_TI_PCI7XX1_SD