diff -r bd207697f0c7 xen/common/vsprintf.c
--- a/xen/common/vsprintf.c	Wed Oct 18 13:43:35 2006 +0100
+++ b/xen/common/vsprintf.c	Tue Oct 17 16:27:03 2006 +0200
@@ -16,7 +16,7 @@
  * - scnprintf and vscnprintf
  */
 
-#include <stdarg.h>
+#include <xen/stdarg.h>
 #include <xen/ctype.h>
 #include <xen/lib.h>
 #include <asm/div64.h>
diff -r bd207697f0c7 xen/drivers/char/console.c
--- a/xen/drivers/char/console.c	Wed Oct 18 13:43:35 2006 +0100
+++ b/xen/drivers/char/console.c	Tue Oct 17 16:27:03 2006 +0200
@@ -6,7 +6,7 @@
  * Copyright (c) 2002-2004, K A Fraser.
  */
 
-#include <stdarg.h>
+#include <xen/stdarg.h>
 #include <xen/config.h>
 #include <xen/version.h>
 #include <xen/init.h>
diff -r bd207697f0c7 xen/include/xen/lib.h
--- a/xen/include/xen/lib.h	Wed Oct 18 13:43:35 2006 +0100
+++ b/xen/include/xen/lib.h	Tue Oct 17 16:27:03 2006 +0200
@@ -2,7 +2,7 @@
 #define __LIB_H__
 
 #include <xen/inttypes.h>
-#include <stdarg.h>
+#include <xen/stdarg.h>
 #include <xen/config.h>
 #include <xen/types.h>
 #include <xen/xmalloc.h>
diff -r bd207697f0c7 xen/include/xen/stdarg.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/xen/include/xen/stdarg.h	Tue Oct 17 16:27:03 2006 +0200
@@ -0,0 +1,10 @@
+
+
+#if defined(__OpenBSD__) || (__sun__)
+#  include "/usr/include/stdarg.h"
+#elif defined(__linux__)
+#  include <stdarg.h>
+#else
+#  error Tell me where stdarg.h is on your OS 
+#endif
+