From 6a441bfb46337ed6b59abed56dad35d94802282c Mon Sep 17 00:00:00 2001 From: Uwe Hermann Date: Thu, 20 Mar 2008 19:54:59 +0000 Subject: Cosmetics, coding style fixes (trivial). Signed-off-by: Uwe Hermann Acked-by: Uwe Hermann git-svn-id: svn://svn.coreboot.org/coreboot/trunk@3180 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1 --- payloads/libpayload/libc/console.c | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) (limited to 'payloads/libpayload/libc/console.c') 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 } } - -- cgit v1.2.3