8 * STDIO based functions (can always be used)
12 void serial_printf (const char *fmt
, ...);
18 void console_putc(unsigned int ch
, const char c
);
20 void console_puts(unsigned int ch
, const char *s
);
22 static inline void puts(const char *s
) {
23 console_puts(CONSOLE_STDOUT
, s
);
26 static inline void putchar(char c
) {
27 console_putc(CONSOLE_STDOUT
, c
);
30 int printf(const char *fmt
, ...);
31 int vprintf(const char *fmt
, va_list args
);
32 int sprintf(char * buf
, const char *fmt
, ...);
33 int vsprintf(char *buf
, const char *fmt
, va_list args
);
36 #define eputc(c) console_putc(CONSOLE_STDERR, c)
37 #define eputs(s) console_puts(CONSOLE_STDERR, s)
38 #define eprintf(fmt,args...) fprintf(stderr,fmt ,##args)
41 * FILE based functions
49 void fprintf(int file
, const char *fmt
, ...);
50 int fputs(int file
, const char *s
);
51 int fputc(int file
, const char c
);
55 #endif /* __STDIO_H */