DS80C400 support, the beginning

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

diff --git a/device/include/stdarg.h b/device/include/stdarg.h
index cbedce874c08e265746bdfe619d1925a4c25a54f..c421a3bc3e050c4536455a1a1c51b064c7c33d0d 100644 (file)
--- a/device/include/stdarg.h
+++ b/device/include/stdarg.h
@@ -11,7 +11,7 @@ typedef unsigned char * va_list;
 #define va_start(list, last)   list = (unsigned char *)&last + sizeof(last)
 #define va_arg(list, type)     *((type *)((list += sizeof(type)) - sizeof(type)))
 
-#elif defined(__ds390)
+#elif defined(__ds390) || defined(__ds400)
 
 typedef        unsigned char * va_list ;
 #define va_arg(marker,type) *((type *)(marker -= sizeof(type)))