bin/mined/mined.h

215

#define putchar(c) write_char(STD_OUT, (c))

bin/mined/mined.h

225

#define string_print(str) writeline(STD_OUT, (str))

bin/mined/mined.h

230

#define flush() flush_buffer(STD_OUT)

bin/mined/mined1.c

1083

if (fd == STD_OUT) {

bin/mined/mined1.c

1103

if (fd == STD_OUT) /* Cannot write to terminal? */

bin/mined/mined1.c

1199

write(STD_OUT, text_buffer, length_of(text_buffer));

bin/mined/mined1.c

1484

if (ioctl(STD_OUT, TIOCGWINSZ, &winsize) == 0 && winsize.ws_row != 0) {

bin/mined/mined1.c

1978

write_char(STD_OUT, c);