tag	line	file	source code
model_name	94	net/inet/wd.c	char *model_name;
model_name	114	net/inet/wd.c	case 0x03: word16 = 0; model_name = "PDI8023-8";  break;
model_name	115	net/inet/wd.c	case 0x05: word16 = 0; model_name = "PDUC8023";   break;
model_name	116	net/inet/wd.c	case 0x0a: word16 = 1; model_name = "PDI8023-16"; break;
model_name	118	net/inet/wd.c	default:   word16 = 0; model_name = "PDI8023";    break;
model_name	134	net/inet/wd.c	model_name = "WD8003-old";
model_name	145	net/inet/wd.c	model_name = "WD8013";
model_name	148	net/inet/wd.c	model_name = "WD8003";
model_name	210	net/inet/wd.c	ei_status.name = model_name;
model_name	222	net/inet/wd.c	model_name, dev->irq, dev->mem_start, dev->mem_end-1);