#ifndef _PPC_BOOT_STDIO_H_
#define _PPC_BOOT_STDIO_H_
-extern int printf(const char *fmt, ...);
+#include <stdarg.h>
-extern int sprintf(char *buf, const char *fmt, ...);
+#define ENOMEM 12 /* Out of Memory */
+#define EINVAL 22 /* Invalid argument */
+#define ENOSPC 28 /* No space left on device */
-extern int vsprintf(char *buf, const char *fmt, va_list args);
+extern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
+
+#define fprintf(fmt, args...) printf(args)
-extern int putc(int c, void *f);
-extern int putchar(int c);
-extern int getchar(void);
+extern int sprintf(char *buf, const char *fmt, ...)
+ __attribute__((format(printf, 2, 3)));
-extern int fputs(char *str, void *f);
+extern int vsprintf(char *buf, const char *fmt, va_list args);
#endif /* _PPC_BOOT_STDIO_H_ */