__add_preferred_console  874 kernel/printk.c 	__add_preferred_console(buf, idx, options, brl_options);
__add_preferred_console  895 kernel/printk.c 	return __add_preferred_console(name, idx, options, NULL);