Cosmetics, coding style fixes (trivial).

[coreboot.git] / payloads / libpayload / libc / console.c

diff --git a/payloads/libpayload/libc/console.c b/payloads/libpayload/libc/console.c
index bb7dec1f94368aa22d0e5647819ec3abda65808f..b2b115b8358c534891a69a2957ebe92b6106ce1b 100644 (file)
--- a/payloads/libpayload/libc/console.c
+++ b/payloads/libpayload/libc/console.c
@@ -42,7 +42,7 @@ void console_init(void)
 static void device_putchar(unsigned char c)
 {
 #ifdef CONFIG_VGA_CONSOLE
-       vga_putchar(0x700| c);
+       vga_putchar(0x700 | c);
 #endif
 #ifdef CONFIG_SERIAL_CONSOLE
        serial_putchar(c);
@@ -65,10 +65,10 @@ int puts(const char *s)
        while (*s) {
                putchar(*s++);
                n++;
-       }
-    
+       }
+
        putchar('\n');
-       return n+1;
+       return n + 1;
 }
 
 int havekey(void)
@@ -81,13 +81,13 @@ int havekey(void)
        if (keyboard_havechar())
                return 1;
 #endif
-       return 0;
+       return 0;
 }
 
-/* This returns an ascii value - the two getchar functions
- cook the respective input from the device
-*/
-
+/**
+ * This returns an ASCII value - the two getchar functions
+ * cook the respective input from the device.
+ */
 int getchar(void)
 {
        while (1) {
@@ -101,4 +101,3 @@ int getchar(void)
 #endif
        }
 }
-