tag	line	file	source code
DEFAULT_CONSOLE_LOGLEVEL	39	kernel/printk.c	int console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;
DEFAULT_CONSOLE_LOGLEVEL	134	kernel/printk.c	console_loglevel = DEFAULT_CONSOLE_LOGLEVEL;