tag	line	file	source code
ATI	80	drivers/pci/pci.c	DEVICE( ATI,    ATI_M32,  "Mach 32"),
ATI	81	drivers/pci/pci.c	DEVICE( ATI,    ATI_M64,  "Mach 64"),