stdio.h (8a84fc15ae5cafcc366dd85cf8e1ab2040679abc) stdio.h (fae59c39e885148acf42320fe0d4ebf4cb3e9231)
1#ifndef _PPC_BOOT_STDIO_H_
2#define _PPC_BOOT_STDIO_H_
3
4#include <stdarg.h>
5
6#define ENOMEM 12 /* Out of Memory */
7#define EINVAL 22 /* Invalid argument */
8#define ENOSPC 28 /* No space left on device */
9
1#ifndef _PPC_BOOT_STDIO_H_
2#define _PPC_BOOT_STDIO_H_
3
4#include <stdarg.h>
5
6#define ENOMEM 12 /* Out of Memory */
7#define EINVAL 22 /* Invalid argument */
8#define ENOSPC 28 /* No space left on device */
9
10extern int printf(const char *fmt, ...);
10extern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
11
12#define fprintf(fmt, args...) printf(args)
13
11
12#define fprintf(fmt, args...) printf(args)
13
14extern int sprintf(char *buf, const char *fmt, ...);
14extern int sprintf(char *buf, const char *fmt, ...)
15 __attribute__((format(printf, 2, 3)));
15
16extern int vsprintf(char *buf, const char *fmt, va_list args);
17
18#endif /* _PPC_BOOT_STDIO_H_ */
16
17extern int vsprintf(char *buf, const char *fmt, va_list args);
18
19#endif /* _PPC_BOOT_STDIO_H_ */