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