* sim/ucsim/hc08.src/inst.cc,
[fw/sdcc] / device / include / stdio.h
index a52815e0e28a197a21567c596a36a5c229f83318..714b02ad0fbb1a9d562da866f8a0f4e64f03f61a 100644 (file)
 #include <tinibios.h>
 #endif
 
-extern void printf_small (char *,...) reentrant;
-extern int printf (const char *,...) reentrant;
+#include <sdcc-lib.h>
+
+extern void printf_small (char *,...) _REENTRANT;
+extern int printf (const char *,...) _REENTRANT;
 extern int vprintf (const char *, va_list);
-extern int sprintf (const char *, const char *, ...) reentrant;
+extern int sprintf (const char *, const char *, ...) _REENTRANT;
 extern int vsprintf (const char *, const char *, va_list);
 extern int puts(const char *);
 extern char *gets(char *);
 extern char getchar(void);
 extern void putchar(char);
 
+#ifdef __mcs51
+extern void printf_fast(code char *fmt, ...) _REENTRANT;
+#endif
+
 #endif /* __SDC51_STDIO_H */