10 bit stack mode: just a few more tweaks...

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

diff --git a/device/include/stdarg.h b/device/include/stdarg.h
index aa2a8615a344a36d59b631350ae5d65c0e0abb3f..4802a8fdd43c3efb292830e2d7672489a7696dfb 100644 (file)
--- a/device/include/stdarg.h
+++ b/device/include/stdarg.h
@@ -5,7 +5,15 @@
 #ifndef __SDC51_STDARG_H
 #define __SDC51_STDARG_H 1
 
-#ifdef SDCC_USE_XSTACK
+#if defined(SDCC_STACK_TENBIT)
+
+#error Foo!
+
+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) ; }
+
+#elif defined(SDCC_USE_XSTACK)
 
 typedef        unsigned char _pdata * va_list ;
 #define va_arg(marker,type)   *((type _data * )(marker -= sizeof(type)))