162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci#ifndef _PPC_BOOT_STDIO_H_
362306a36Sopenharmony_ci#define _PPC_BOOT_STDIO_H_
462306a36Sopenharmony_ci
562306a36Sopenharmony_ci#include <stdarg.h>
662306a36Sopenharmony_ci
762306a36Sopenharmony_ci#define	ENOMEM		12	/* Out of Memory */
862306a36Sopenharmony_ci#define	EINVAL		22	/* Invalid argument */
962306a36Sopenharmony_ci#define ENOSPC		28	/* No space left on device */
1062306a36Sopenharmony_ci
1162306a36Sopenharmony_ciextern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
1262306a36Sopenharmony_ci
1362306a36Sopenharmony_ci#define fprintf(fmt, args...)	printf(args)
1462306a36Sopenharmony_ci
1562306a36Sopenharmony_ciextern int sprintf(char *buf, const char *fmt, ...)
1662306a36Sopenharmony_ci	__attribute__((format(printf, 2, 3)));
1762306a36Sopenharmony_ci
1862306a36Sopenharmony_ciextern int vsprintf(char *buf, const char *fmt, va_list args);
1962306a36Sopenharmony_ci
2062306a36Sopenharmony_ci#endif				/* _PPC_BOOT_STDIO_H_ */
21