tag	line	file	source code
WEITEK	84	drivers/pci/pci.c	DEVICE( WEITEK,    WEITEK_P9000,  "P9000"),
WEITEK	85	drivers/pci/pci.c	DEVICE( WEITEK,    WEITEK_P9100,  "P9100"),