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