make printf* work again

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

diff --git a/device/include/stdarg.h b/device/include/stdarg.h
index c535af3295ca1101a92feb9f0ec826caccb217b4..49e3a7221c0008edd8ad931df44465db9ab176d8 100644 (file)
--- a/device/include/stdarg.h
+++ b/device/include/stdarg.h
@@ -5,23 +5,23 @@
 #ifndef __SDC51_STDARG_H
 #define __SDC51_STDARG_H 1
 
-#if defined(SDCC_STACK_TENBIT)
+#if defined(__ds390)
 
-typedef        unsigned char _xdata * va_list ;
-#define va_arg(marker,type)   *((type _xdata * )(marker -= sizeof(type)))
-#define        va_start(marker,first)  { marker = (va_list) ((char _xdata * )&first) ; }
+typedef        unsigned char * va_list ;
+#define va_arg(marker,type) *((type *)(marker -= sizeof(type)))
+#define        va_start(marker,first) { marker = &first; }
 
 #elif defined(SDCC_USE_XSTACK)
 
 typedef        unsigned char _pdata * va_list ;
-#define va_arg(marker,type)   *((type _data * )(marker -= sizeof(type)))
-#define        va_start(marker,first)  { marker = (va_list) ((char _pdata * )&first) ; }
+#define va_arg(marker,type) *((type _data *)(marker -= sizeof(type)))
+#define        va_start(marker,first) { marker = (va_list)((char _pdata *)&first); }
 
 #else
 
-typedef        unsigned char _data *  va_list ;
-#define va_arg(marker,type)   *((type _data * )(marker -= sizeof(type)))
-#define        va_start(marker,first)  { marker = (va_list) ((char _data * )&first) ; }
+typedef        unsigned char _data * va_list ;
+#define va_arg(marker,type) *((type _data * )(marker -= sizeof(type)))
+#define        va_start(marker,first) { marker = (va_list) ((char _data * )&first); }
 
 #endif