PCI_PRODUCT_VIATECH_VT8231_PWR 13055 dev/pci/pcidevs_data.h 	    PCI_VENDOR_VIATECH, PCI_PRODUCT_VIATECH_VT8231_PWR,
PCI_PRODUCT_VIATECH_VT8231_PWR  112 dev/pci/viaenv.c 	{ PCI_VENDOR_VIATECH, PCI_PRODUCT_VIATECH_VT8231_PWR }