tag	line	file	source code
console_print_proc	37	kernel/printk.c	static void (*console_print_proc)(const char *) = 0;
console_print_proc	185	kernel/printk.c	if (msg_level < console_loglevel && console_print_proc) {
console_print_proc	188	kernel/printk.c	(*console_print_proc)(msg);
console_print_proc	213	kernel/printk.c	console_print_proc = proc;