tag	line	file	source code
DEFAULT_CONSOLE_LOGLEVEL	35	kernel/printk.c	int console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;
DEFAULT_CONSOLE_LOGLEVEL	128	kernel/printk.c	console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;