tag	line	file	source code
TSENG	56	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_2,  "ET4000W32P"),
TSENG	57	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_b,  "ET4000W32P rev B"),
TSENG	58	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_c,  "ET4000W32P rev C"),
TSENG	59	drivers/pci/pci.c	DEVICE( TSENG,    TSENG_W32P_d,  "ET4000W32P rev D"),