char __devinit *adapter_def(char type) 
static char __devinit *adapter_def(char type) 
char __devinit *adapter_def(char type){	switch (type) {	case 0xF: return "PC Adapter | PC Adapter II | Adapter/A";	case 0xE: return "16/4 Adapter | 16/4 Adapter/A (long)";	case 0xD: return "16/4 Adapter/A (short) | 16/4 ISA-16 Adapter";	case 0xC: return "Auto 16/4 Adapter";	default: return "adapter (unknown type)";	};};
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/de70b4c87b8f1d484cf533536c0c6ce2e05101cf/ibmtr.c/buggy/drivers/net/tokenring/ibmtr.c