PCI_PRODUCT_VIATECH_VT8251_SATA  419 dev/pci/ahci.c 	{ PCI_VENDOR_VIATECH,	PCI_PRODUCT_VIATECH_VT8251_SATA,
PCI_PRODUCT_VIATECH_VT8251_SATA 12887 dev/pci/pcidevs_data.h 	    PCI_VENDOR_VIATECH, PCI_PRODUCT_VIATECH_VT8251_SATA,
PCI_PRODUCT_VIATECH_VT8251_SATA  625 dev/pci/pciide.c 	{ PCI_PRODUCT_VIATECH_VT8251_SATA, /* VIA VT8251 SATA */