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