make printf* work again

[fw/sdcc] / device / include / stdio.h

diff --git a/device/include/stdio.h b/device/include/stdio.h
index 95ff2f0968a77787a965ffb224be9505169d16f3..4f145a912c68a36ae13826312cac6067fd4f4fc1 100644 (file)
--- a/device/include/stdio.h
+++ b/device/include/stdio.h
@@ -27,28 +27,21 @@
 
 #include <stdarg.h>
 
-#ifdef SDCC_MODEL_FLAT24
-#ifndef TINIBIOS_H
+#ifdef __ds390
 #include <tinibios.h>
-#endif TINIBIOS_H
-#endif
-
-#if defined(SDCC_MODEL_LARGE) || defined(SDCC_MODEL_FLAT24)
-#define XSPEC xdata
-#else
-#define XSPEC
 #endif
 
 extern printf_small (char *,...) reentrant;
-extern printf (XSPEC const char *,...) reentrant;
+extern printf (const char *,...) reentrant;
 extern int vprintf (const char *, va_list);
-extern int sprintf (const char *, XSPEC 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);
-#endif
+
+#endif __SDC51_STDIO_H