Move stdio defs to stdio.h, and fix an x86 makefile bug.

[polintos/scott/priv.git] / include / c / std / stdio.h

diff --git a/include/c/std/stdio.h b/include/c/std/stdio.h
new file mode 100644 (file)
index 0000000..97e3d75
--- /dev/null
+++ b/include/c/std/stdio.h
@@ -0,0 +1,25 @@
+#ifndef _C_STDIO_H
+#define _C_STDIO_H
+
+#include <stdint.h>
+#include <stdarg.h>
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+       size_t vsnprintf(char *buf, size_t size, const char *str, va_list args);
+
+       size_t snprintf(char *buf, size_t size, const char *str, ...)
+       __attribute__((format(printf, 3, 4)));
+
+       size_t sprintf(char *buf, const char *str, ...)
+       __attribute__((format(printf, 2, 3)));
+
+       size_t printf(const char *str, ...)
+       __attribute__((format(printf, 1, 2)));
+
+#ifdef __cplusplus
+}
+#endif
+#endif