tprintf.h

   1 #ifndef TPRINTF_H
   2 #define TPRINTF_H
   3
   4 #include "built_in.h"
   5 #include "colors.h"
   6
   7 extern void tprintf_init(void);
   8 extern void tprintf(char *msg, ...) __check_format_printf(1, 2);
   9 extern void tprintf_flush(void);
  10 extern void tprintf_cleanup(void);
  11
  12 extern void tputchar_safe(int c);
  13 extern void tputs_safe(const char *str, size_t len);
  14
  15 #define DEFAULT_TTY_SIZE        80
  16
  17 #endif /* TPRINTF_H */