Searched refs:write_char (Results 1 – 4 of 4) sorted by relevance
917 write_char ('N'); in write_nested_name()924 write_char ('V'); in write_nested_name()926 write_char ('K'); in write_nested_name()942 write_char ('E'); in write_nested_name()1509 write_char ('Z'); in write_local_name()1511 write_char ('E'); in write_local_name()1763 write_char ('w'); in write_builtin_type()1820 write_char ('f'); in write_builtin_type()1823 write_char ('d'); in write_builtin_type()1825 write_char ('e'); in write_builtin_type()[all …]
2635 (write_char): Adjust accordingly.
62 void write_char(int c, int fg, int bg);174 write_char(c, fg_c, bg_c); in vidc_rawputchar()232 write_char(' ', fg_c, bg_c); in curs_move()257 write_char(int c, int fgcol, int bgcol) in write_char() function
163 int write_char(int c);1076 write_char(int c) in write_char() function1108 if (!write_char (c)) in put_string()1128 if (!write_char (c)) in put_string()