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