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