* src/mcs51/ralloc.c (spillThis, spilSomething): fixed bug 2435941
[fw/sdcc] / device / include / stdio.h
index d02c5eb1c133f2189325ebda66bf9491a24a1bd8..3f24931c1038f825c62f9bd6eb4bd2ad5f34d05c 100644 (file)
@@ -59,9 +59,9 @@ extern char getchar(void);
 extern void putchar(char);
 
 #if defined(SDCC_mcs51) && !defined(SDCC_USE_XSTACK)
-extern void printf_fast(code char *fmt, ...) _REENTRANT;
-extern void printf_fast_f(code char *fmt, ...) _REENTRANT;
-extern void printf_tiny(code char *fmt, ...) _REENTRANT;
+extern void printf_fast(__code char *fmt, ...) _REENTRANT;
+extern void printf_fast_f(__code char *fmt, ...) _REENTRANT;
+extern void printf_tiny(__code char *fmt, ...) _REENTRANT;
 #endif
 
 #endif /* __SDC51_STDIO_H */