kern/include/stdio.h

   1 #ifndef ROS_INC_STDIO_H
   2 #define ROS_INC_STDIO_H
   3
   4 #include <stdarg.h>
   5
   6 #ifndef NULL
   7 #define NULL    ((void *) 0)
   8 #endif /* !NULL */
   9
  10 #ifdef DEBUG
  11 #define printd(args...) cprintf(args)
  12 #else
  13 #define printd(args...) {}
  14 #endif
  15
  16 #define printk(args...) cprintf(args)
  17
  18 // lib/stdio.c
  19 void    cputchar(int c);
  20 void    cputbuf(const char*COUNT(len) buf, int len);
  21 int     getchar(void);
  22 int     iscons(int fd);
  23
  24 // lib/printfmt.c
  25 void    printfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, ...);
  26 //void  vprintfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, va_list);
  27 void    vprintfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, va_list);
  28
  29 // lib/printf.c
  30 int     cprintf(const char * NTS fmt, ...);
  31 int     vcprintf(const char * NTS fmt, va_list);
  32
  33 // lib/sprintf.c
  34 int     snprintf(char *str, int size, const char *fmt, ...);
  35 int     vsnprintf(char *COUNT(size) str, int size, const char *fmt, va_list);
  36
  37 // lib/fprintf.c
  38 int     printf(const char *fmt, ...);
  39 int     fprintf(int fd, const char *fmt, ...);
  40 int     vfprintf(int fd, const char *fmt, va_list);
  41
  42 // lib/readline.c
  43 char *NTS readline(const char *NTS prompt);
  44
  45 #endif /* !ROS_INC_STDIO_H */