tag	line	file	source code
de600_debug	86	drivers/net/de600.c	#define PRINTK(x) if (de600_debug >= 2) printk x
de600_debug	91	drivers/net/de600.c	unsigned int de600_debug = DE600_DEBUG;
de600_debug	653	drivers/net/de600.c	if (de600_debug > 1)