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