diff -r 534d3716bbbe xen/include/public/xsm/acm.h
--- a/xen/include/public/xsm/acm.h	Tue Jul 21 12:06:52 2009 +0100
+++ b/xen/include/public/xsm/acm.h	Tue Jul 21 16:21:34 2009 +0200
@@ -35,9 +35,9 @@
 /* #define ACM_DEBUG */
 
 #ifdef ACM_DEBUG
-#  define printkd(fmt, args...) printk(fmt,## args)
+#  define printkd(fmt, ...) printk(fmt, ##__VA_ARGS__)
 #else
-#  define printkd(fmt, args...)
+#  define printkd(fmt, ...)
 #endif
 
 /* default ssid reference value if not supplied */