PCI_VENDOR_TSENG 12223 dev/pci/pcidevs_data.h 	    PCI_VENDOR_TSENG, PCI_PRODUCT_TSENG_ET4000_W32P_A,
PCI_VENDOR_TSENG 12227 dev/pci/pcidevs_data.h 	    PCI_VENDOR_TSENG, PCI_PRODUCT_TSENG_ET4000_W32P_B,
PCI_VENDOR_TSENG 12231 dev/pci/pcidevs_data.h 	    PCI_VENDOR_TSENG, PCI_PRODUCT_TSENG_ET4000_W32P_C,
PCI_VENDOR_TSENG 12235 dev/pci/pcidevs_data.h 	    PCI_VENDOR_TSENG, PCI_PRODUCT_TSENG_ET4000_W32P_D,
PCI_VENDOR_TSENG 12239 dev/pci/pcidevs_data.h 	    PCI_VENDOR_TSENG, PCI_PRODUCT_TSENG_ET6000,
PCI_VENDOR_TSENG 12243 dev/pci/pcidevs_data.h 	    PCI_VENDOR_TSENG, PCI_PRODUCT_TSENG_ET6300,
PCI_VENDOR_TSENG 13751 dev/pci/pcidevs_data.h 	    PCI_VENDOR_TSENG,