Searched refs:write_text (Results 1 – 1 of 1) sorted by relevance
2703 char *write_text; in console_emit_next_record() local2729 write_text = ext_text; in console_emit_next_record()2734 write_text = text; in console_emit_next_record()2752 call_console_driver(con, write_text, len, dropped_text); in console_emit_next_record()