update

[l4.git] / kernel / fiasco / src / lib / minilibc / include / stdio.h

diff --git a/kernel/fiasco/src/lib/minilibc/include/stdio.h b/kernel/fiasco/src/lib/minilibc/include/stdio.h
index edbe4d457590eaa2d3ada03a66d57a32a942e33f..8a8aec3bc656c0eef5d32b227f9710fe75301e24 100644 (file)
--- a/kernel/fiasco/src/lib/minilibc/include/stdio.h
+++ b/kernel/fiasco/src/lib/minilibc/include/stdio.h
@@ -4,25 +4,26 @@
 #include <cdefs.h>
 #include <stddef.h>
 #include <mini_defs.h>
+#include <fiasco_defs.h>
 
 __BEGIN_DECLS
 
-int putchar(int c);
-int puts(const char *s);
-int printf(const char *format, ...)
+int FIASCO_COLD putchar(int c);
+int FIASCO_COLD puts(const char *s);
+int FIASCO_COLD printf(const char *format, ...)
   __attribute__((format(printf,1,2)));
-int sprintf(char *str, const char *format, ...)
+int FIASCO_COLD sprintf(char *str, const char *format, ...)
   __attribute__((format(printf,2,3)));
-int snprintf(char *str, size_t size, const char *format, ...)
+int FIASCO_COLD snprintf(char *str, size_t size, const char *format, ...)
   __attribute__((format(printf,3,4)));
 
 #include <stdarg.h>
 
-int vprintf(const char *format, va_list ap)
+int FIASCO_COLD vprintf(const char *format, va_list ap)
   __attribute__((format(printf,1,0)));
-int vsprintf(char *str, const char *format, va_list ap)
+int FIASCO_COLD vsprintf(char *str, const char *format, va_list ap)
   __attribute__((format(printf,2,0)));
-int vsnprintf(char *str, size_t size, const char *format, va_list ap)
+int FIASCO_COLD vsnprintf(char *str, size_t size, const char *format, va_list ap)
   __attribute__((format(printf,3,0)));
 
 typedef int *FILE;