Changeset a721f6a in mainline for kernel/generic

Timestamp:

2010-04-23T15:15:09Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

80badbe

Parents:

9efff92

Message:

tiny cstyle modifications (no change in functionality)

Location:

kernel/generic

Files:

• include/print.h (modified) (1 diff)
• include/printf/printf_core.h (modified) (1 diff)
• src/main/version.c (modified) (1 diff)
• src/printf/printf.c (modified) (1 diff)
• src/printf/printf_core.c (modified) (3 diffs)

kernel/generic/include/print.h

@@ -39 +39 @@
 #include <stdarg.h>
 
-#define EOF (-1)
+#define EOF  (-1)
 
 extern int puts(const char *s);

kernel/generic/include/printf/printf_core.h

@@ -51 +51 @@
 } printf_spec_t;
 
-int printf_core(const char *fmt, printf_spec_t *ps, va_list ap);
+extern int printf_core(const char *fmt, printf_spec_t *ps, va_list ap);
 
 #endif

kernel/generic/src/main/version.c

@@ -59 +59 @@
 {
         printf("%s, release %s (%s)%s\nBuilt%s for %s\n%s\n",
-                project, release, name, revision, timestamp, arch, copyright);
+            project, release, name, revision, timestamp, arch, copyright);
 }
 

kernel/generic/src/printf/printf.c

@@ -34 +34 @@
 
 #include <print.h>
+#include <stdarg.h>
 
 int printf(const char *fmt, ...)

kernel/generic/src/printf/printf_core.c

@@ -46 +46 @@
 /** show prefixes 0x or 0 */
 #define __PRINTF_FLAG_PREFIX       0x00000001
+
 /** signed / unsigned number */
 #define __PRINTF_FLAG_SIGNED       0x00000002
+
 /** print leading zeroes */
 #define __PRINTF_FLAG_ZEROPADDED   0x00000004
+
 /** align to left */
 #define __PRINTF_FLAG_LEFTALIGNED  0x00000010
+
 /** always show + sign */
 #define __PRINTF_FLAG_SHOWPLUS     0x00000020
+
 /** print space instead of plus */
 #define __PRINTF_FLAG_SPACESIGN    0x00000040
+
 /** show big characters */
 #define __PRINTF_FLAG_BIGCHARS     0x00000080
+
 /** number has - sign */
 #define __PRINTF_FLAG_NEGATIVE     0x00000100
@@ -79 +86 @@
 } qualifier_t;
 
-static char nullstr[] = "(NULL)";
-static char digits_small[] = "0123456789abcdef";
-static char digits_big[] = "0123456789ABCDEF";
-static char invalch = U_SPECIAL;
+static const char *nullstr = "(NULL)";
+static const char *digits_small = "0123456789abcdef";
+static const char *digits_big = "0123456789ABCDEF";
+static const char invalch = U_SPECIAL;
 
 /** Print one or more characters without adding newline.
@@ -351 +358 @@
     uint32_t flags, printf_spec_t *ps)
 {
-        char *digits;
+        const char *digits;
         if (flags & __PRINTF_FLAG_BIGCHARS)
                 digits = digits_big;