powerpc/boot/stdio.h

0001 /* SPDX-License-Identifier: GPL-2.0 */
0002 #ifndef _PPC_BOOT_STDIO_H_
0003 #define _PPC_BOOT_STDIO_H_
0004
0005 #include <stdarg.h>
0006
0007 #define ENOMEM      12  /* Out of Memory */
0008 #define EINVAL      22  /* Invalid argument */
0009 #define ENOSPC      28  /* No space left on device */
0010
0011 extern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
0012
0013 #define fprintf(fmt, args...)   printf(args)
0014
0015 extern int sprintf(char *buf, const char *fmt, ...)
0016     __attribute__((format(printf, 2, 3)));
0017
0018 extern int vsprintf(char *buf, const char *fmt, va_list args);
0019
0020 #endif              /* _PPC_BOOT_STDIO_H_ */