PCI_PRODUCT_CMDTECH_3512 3267 dev/pci/pcidevs_data.h 	    PCI_VENDOR_CMDTECH, PCI_PRODUCT_CMDTECH_3512,
PCI_PRODUCT_CMDTECH_3512  578 dev/pci/pciide.c 	{ PCI_PRODUCT_CMDTECH_3512,	/* SiI3512 SATA */