tag	line	file	source code
TSENG	60	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_2,  "ET4000W32P"),
TSENG	61	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_b,  "ET4000W32P rev B"),
TSENG	62	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_c,  "ET4000W32P rev C"),
TSENG	63	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_d,  "ET4000W32P rev D"),