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