tag	line	file	source code
was_down	272	drivers/net/de600.c	static int      was_down = 0;
was_down	455	drivers/net/de600.c	if (was_down || (de600_read_byte(READ_DATA, dev) != 0xde)) {
was_down	743	drivers/net/de600.c	was_down = 1;
was_down	748	drivers/net/de600.c	if (was_down) {
was_down	750	drivers/net/de600.c	was_down = 0;
was_down	712	drivers/net/de620.c	static int was_down = 0;
was_down	768	drivers/net/de620.c	was_down = 1;
was_down	771	drivers/net/de620.c	if (was_down) {
was_down	773	drivers/net/de620.c	was_down = 0;