tag	line	file	source code
init_ID_done	329	drivers/net/3c507.c	static unsigned char init_ID_done = 0, version_printed = 0;
init_ID_done	332	drivers/net/3c507.c	if (init_ID_done == 0) {
init_ID_done	343	drivers/net/3c507.c	init_ID_done = 1;