tag	line	file	source code
console_print_proc	28	kernel/printk.c	static void (*console_print_proc)(const char *) = 0;
console_print_proc	138	kernel/printk.c	if (log_to_console && console_print_proc)
console_print_proc	139	kernel/printk.c	(*console_print_proc)(buf);
console_print_proc	155	kernel/printk.c	console_print_proc = proc;