kern/include/stdio.h

   1 #ifndef ROS_INC_STDIO_H
   2 #define ROS_INC_STDIO_H
   3
   4 #include <ros/common.h>
   5 #include <stdarg.h>
   6 #include <kdebug.h>
   7
   8 #ifndef NULL
   9 #define NULL    ((void *) 0)
  10 #endif /* !NULL */
  11
  12 //#define DEBUG
  13 #ifdef DEBUG
  14 #define printd(args...) cprintf(args)
  15 #else
  16 #define printd(args...) {}
  17 #endif
  18
  19 #define printk(args...) cprintf(args)
  20 #define I_AM_HERE printk("Core %d is in %s() at %s:%d\n", core_id(), \
  21                          __FUNCTION__, __FILE__, __LINE__);
  22
  23 // lib/stdio.c
  24 void    cputchar(int c);
  25 void    cputbuf(const char*COUNT(len) buf, int len);
  26 int     getchar(void);
  27 int     iscons(int fd);
  28
  29 // lib/printfmt.c
  30 #ifdef __DEPUTY__
  31 void    printfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, ...);
  32 void    vprintfmt(void (*putch)(int, TV(t)), TV(t) putdat, const char *NTS fmt, va_list);
  33 #else
  34 void    printfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, ...);
  35 void    vprintfmt(void (*putch)(int, void**), void **putdat, const char *NTS fmt, va_list);
  36 #endif
  37
  38 // lib/printf.c
  39 int     ( cprintf)(const char * NTS fmt, ...);
  40 int     vcprintf(const char * NTS fmt, va_list);
  41
  42 // lib/sprintf.c
  43 int     snprintf(char *COUNT(size) str, int size, const char *NTS fmt, ...);
  44 int     vsnprintf(char *COUNT(size) str, int size, const char *NTS fmt, va_list);
  45
  46 // lib/fprintf.c
  47 int     printf(const char *NTS fmt, ...);
  48 int     fprintf(int fd, const char *NTS fmt, ...);
  49 int     vfprintf(int fd, const char *NTS fmt, va_list);
  50
  51 // lib/readline.c
  52 int readline(char *buf, size_t buf_l, const char *prompt, ...);
  53
  54 char *seprintf(char *buf, char *end, const char *fmt, ...);
  55
  56 // kern/src/net/eipconv.c
  57 void printemac(void (*putch)(int, void**), void **putdat, uint8_t *mac);
  58 void printip(void (*putch)(int, void**), void **putdat, uint8_t *ip);
  59 void printipmask(void (*putch)(int, void**), void **putdat, uint8_t *ip);
  60 void printipv4(void (*putch)(int, void**), void **putdat, uint8_t *ip);
  61
  62 #endif /* !ROS_INC_STDIO_H */