2005-08-07 21:24:38 -06:00
|
|
|
#ifndef _PPC_BOOT_STDIO_H_
|
|
|
|
#define _PPC_BOOT_STDIO_H_
|
|
|
|
|
2006-09-18 22:05:08 -06:00
|
|
|
#include <stdarg.h>
|
|
|
|
|
|
|
|
#define ENOMEM 12 /* Out of Memory */
|
|
|
|
#define EINVAL 22 /* Invalid argument */
|
|
|
|
#define ENOSPC 28 /* No space left on device */
|
|
|
|
|
2007-03-21 23:59:13 -06:00
|
|
|
extern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
|
2005-08-07 21:24:38 -06:00
|
|
|
|
2006-09-18 22:05:08 -06:00
|
|
|
#define fprintf(fmt, args...) printf(args)
|
|
|
|
|
2007-03-21 23:59:13 -06:00
|
|
|
extern int sprintf(char *buf, const char *fmt, ...)
|
|
|
|
__attribute__((format(printf, 2, 3)));
|
2005-08-07 21:24:38 -06:00
|
|
|
|
|
|
|
extern int vsprintf(char *buf, const char *fmt, va_list args);
|
|
|
|
|
|
|
|
#endif /* _PPC_BOOT_STDIO_H_ */
|