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
11extern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
12
13#define fprintf(fmt, args...) printf(args)
14
15extern int sprintf(char *buf, const char *fmt, ...)
16 __attribute__((format(printf, 2, 3)));
17
18extern int vsprintf(char *buf, const char *fmt, va_list args);
19
20#endif /* _PPC_BOOT_STDIO_H_ */
21

source code of linux/arch/powerpc/boot/stdio.h