Changeset 6ab8697 in mainline for kernel/generic/src/printf/printf_core.c

Timestamp:

2009-10-07T14:03:35Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

2088dfc

Parents:

7a53208

Message:

use builtin_va_* for va_* functions and va_list type
(this is probably safer than our own implementation since it respects the particular ABI used by the compiler)
this fixes kernel printf() when using clang

File:

• kernel/generic/src/printf/printf_core.c (modified) (1 diff)

kernel/generic/src/printf/printf_core.c

@@ -39 +39 @@
 #include <printf/printf_core.h>
 #include <print.h>
-#include <arch/arg.h>
+#include <stdarg.h>
 #include <macros.h>
 #include <string.h>