12345678910 |
- #ifndef _PPC_BOOT_STDIO_H_
- #define _PPC_BOOT_STDIO_H_
- extern int printf(const char *fmt, ...);
- extern int sprintf(char *buf, const char *fmt, ...);
- extern int vsprintf(char *buf, const char *fmt, va_list args);
- #endif /* _PPC_BOOT_STDIO_H_ */
|