1#ifndef __STDIO_H
2#define __STDIO_H
3
4#include <stdarg.h>
5#include <linux/compiler.h>
6
7
8int getchar(void);
9int tstc(void);
10
11
12#if !defined(CONFIG_SPL_BUILD) || \
13 (defined(CONFIG_TPL_BUILD) && defined(CONFIG_TPL_SERIAL)) || \
14 (defined(CONFIG_SPL_BUILD) && !defined(CONFIG_TPL_BUILD) && \
15 defined(CONFIG_SPL_SERIAL))
16void putc(const char c);
17void puts(const char *s);
18#ifdef CONFIG_CONSOLE_FLUSH_SUPPORT
19void flush(void);
20#else
21static inline void flush(void) {}
22#endif
23int __printf(1, 2) printf(const char *fmt, ...);
24int vprintf(const char *fmt, va_list args);
25#else
26static inline void putc(const char c)
27{
28}
29
30static inline void puts(const char *s)
31{
32}
33
34static inline void flush(void)
35{
36}
37
38static inline int __printf(1, 2) printf(const char *fmt, ...)
39{
40 return 0;
41}
42
43static inline int vprintf(const char *fmt, va_list args)
44{
45 return 0;
46}
47#endif
48
49
50
51
52#define stdin 0
53#define stdout 1
54#define stderr 2
55#define MAX_FILES 3
56
57
58#define eputc(c) fputc(stderr, c)
59#define eputs(s) fputs(stderr, s)
60#define eflush() fflush(stderr)
61#define eprintf(fmt, args...) fprintf(stderr, fmt, ##args)
62
63int __printf(2, 3) fprintf(int file, const char *fmt, ...);
64void fputs(int file, const char *s);
65void fputc(int file, const char c);
66#ifdef CONFIG_CONSOLE_FLUSH_SUPPORT
67void fflush(int file);
68#else
69static inline void fflush(int file) {}
70#endif
71int ftstc(int file);
72int fgetc(int file);
73
74#endif
75