diff options
| author | Uwe Hermann <uwe@hermann-uwe.de> | 2008-03-20 19:54:59 +0000 |
|---|---|---|
| committer | Uwe Hermann <uwe@hermann-uwe.de> | 2008-03-20 19:54:59 +0000 |
| commit | 6a441bfb46337ed6b59abed56dad35d94802282c (patch) | |
| tree | 44eb1d67fcbc450907472186bbc0036afe9e380c /payloads/libpayload/libc/console.c | |
| parent | 5f4c8abb6537fa7377969e837dab987abefcf922 (diff) | |
Cosmetics, coding style fixes (trivial).
Signed-off-by: Uwe Hermann <uwe@hermann-uwe.de>
Acked-by: Uwe Hermann <uwe@hermann-uwe.de>
git-svn-id: svn://svn.coreboot.org/coreboot/trunk@3180 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
Diffstat (limited to 'payloads/libpayload/libc/console.c')
| -rw-r--r-- | payloads/libpayload/libc/console.c | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/payloads/libpayload/libc/console.c b/payloads/libpayload/libc/console.c index bb7dec1f94..b2b115b835 100644 --- 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 } } - |