Index: kernel/generic/include/stdarg.h
===================================================================
--- kernel/generic/include/stdarg.h	(revision fc840d9e1c7b2c78263d76042faa123712a5bb75)
+++ kernel/generic/include/stdarg.h	(revision 7a5cdded4b158b590a65f9d5082c0b44398b618e)
@@ -46,5 +46,5 @@
 #define va_arg(ap, type) 		__builtin_va_arg(ap, type)
 #define va_end(ap)			__builtin_va_end(ap)
-#define va_copy(dst,src)		__builtin_va_copy(dst,src)
+#define va_copy(dst, src)		__builtin_va_copy(dst, src)
 
 #endif
