stdio.h (8a84fc15ae5cafcc366dd85cf8e1ab2040679abc) | stdio.h (fae59c39e885148acf42320fe0d4ebf4cb3e9231) |
---|---|
1#ifndef _PPC_BOOT_STDIO_H_ 2#define _PPC_BOOT_STDIO_H_ 3 4#include <stdarg.h> 5 6#define ENOMEM 12 /* Out of Memory */ 7#define EINVAL 22 /* Invalid argument */ 8#define ENOSPC 28 /* No space left on device */ 9 | 1#ifndef _PPC_BOOT_STDIO_H_ 2#define _PPC_BOOT_STDIO_H_ 3 4#include <stdarg.h> 5 6#define ENOMEM 12 /* Out of Memory */ 7#define EINVAL 22 /* Invalid argument */ 8#define ENOSPC 28 /* No space left on device */ 9 |
10extern int printf(const char *fmt, ...); | 10extern int printf(const char *fmt, ...) __attribute__((format(printf, 1, 2))); |
11 12#define fprintf(fmt, args...) printf(args) 13 | 11 12#define fprintf(fmt, args...) printf(args) 13 |
14extern int sprintf(char *buf, const char *fmt, ...); | 14extern int sprintf(char *buf, const char *fmt, ...) 15 __attribute__((format(printf, 2, 3))); |
15 16extern int vsprintf(char *buf, const char *fmt, va_list args); 17 18#endif /* _PPC_BOOT_STDIO_H_ */ | 16 17extern int vsprintf(char *buf, const char *fmt, va_list args); 18 19#endif /* _PPC_BOOT_STDIO_H_ */ |