ext_text         1796 kernel/printk/printk.c static void call_console_drivers(const char *ext_text, size_t ext_len,
ext_text         1817 kernel/printk/printk.c 			con->write(con, ext_text, ext_len);
ext_text         2117 kernel/printk/printk.c static void call_console_drivers(const char *ext_text, size_t ext_len,
ext_text         2397 kernel/printk/printk.c 	static char ext_text[CONSOLE_EXT_LOG_MAX];
ext_text         2480 kernel/printk/printk.c 			ext_len = msg_print_ext_header(ext_text,
ext_text         2481 kernel/printk/printk.c 						sizeof(ext_text),
ext_text         2483 kernel/printk/printk.c 			ext_len += msg_print_ext_body(ext_text + ext_len,
ext_text         2484 kernel/printk/printk.c 						sizeof(ext_text) - ext_len,
ext_text         2501 kernel/printk/printk.c 		call_console_drivers(ext_text, ext_len, text, len);