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_ */

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