tag	line	file	source code
DEFAULT_CONSOLE_LOGLEVEL	41	kernel/printk.c	int console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;
DEFAULT_CONSOLE_LOGLEVEL	136	kernel/printk.c	console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;