/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _PPC_BOOT_STDIO_H_
#define _PPC_BOOT_STDIO_H_

#include <stdarg.h>

#define ENOMEM          12      /* Out of Memory */
#define EINVAL          22      /* Invalid argument */
#define ENOSPC          28      /* No space left on device */

extern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));

#define fprintf(fmt, args...)   printf(args)

extern int sprintf(char *buf, const char *fmt, ...)
        __attribute__((format(printf, 2, 3)));

extern int vsprintf(char *buf, const char *fmt, va_list args);

#endif                          /* _PPC_BOOT_STDIO_H_ */