1 #ifndef _PPC_BOOT_STDIO_H_
2 #define _PPC_BOOT_STDIO_H_
4 extern int printf(const char *fmt
, ...);
6 extern int sprintf(char *buf
, const char *fmt
, ...);
8 extern int vsprintf(char *buf
, const char *fmt
, va_list args
);
10 #endif /* _PPC_BOOT_STDIO_H_ */