18c2ecf20Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */ 28c2ecf20Sopenharmony_ci#ifndef _PPC_BOOT_STDIO_H_ 38c2ecf20Sopenharmony_ci#define _PPC_BOOT_STDIO_H_ 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ci#include <stdarg.h> 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ci#define ENOMEM 12 /* Out of Memory */ 88c2ecf20Sopenharmony_ci#define EINVAL 22 /* Invalid argument */ 98c2ecf20Sopenharmony_ci#define ENOSPC 28 /* No space left on device */ 108c2ecf20Sopenharmony_ci 118c2ecf20Sopenharmony_ciextern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ci#define fprintf(fmt, args...) printf(args) 148c2ecf20Sopenharmony_ci 158c2ecf20Sopenharmony_ciextern int sprintf(char *buf, const char *fmt, ...) 168c2ecf20Sopenharmony_ci __attribute__((format(printf, 2, 3))); 178c2ecf20Sopenharmony_ci 188c2ecf20Sopenharmony_ciextern int vsprintf(char *buf, const char *fmt, va_list args); 198c2ecf20Sopenharmony_ci 208c2ecf20Sopenharmony_ci#endif /* _PPC_BOOT_STDIO_H_ */ 21