tag	line	file	source code
TSENG	97	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_2,  "ET4000W32P"),
TSENG	98	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_b,  "ET4000W32P rev B"),
TSENG	99	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_c,  "ET4000W32P rev C"),
TSENG	100	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_d,  "ET4000W32P rev D"),