8 extern void tprintf_init(void);
9 extern void tprintf(char *msg
, ...) __check_format_printf(1, 2);
10 extern void tprintf_flush(void);
11 extern void tprintf_cleanup(void);
13 extern void tputchar_safe(int c
);
14 extern void tputs_safe(const char *str
, size_t len
);
16 #define DEFAULT_TTY_SIZE 80
18 #endif /* TPRINTF_H */