Searched refs:terminal_write_chars (Results 1 – 2 of 2) sorted by relevance
86 extern void terminal_write_chars (char *string, int nchars);
257 terminal_write_chars (char *string, int nchars) in terminal_write_chars() function