Index: kernel/genarch/src/kbd/ns16550.c
===================================================================
--- kernel/genarch/src/kbd/ns16550.c	(revision a2a552922110e12b1296ecc23f36d826e7fc4040)
+++ kernel/genarch/src/kbd/ns16550.c	(revision 26fa0f9f8b1d7bd5366298fe39165bf010b22a37)
@@ -137,9 +137,9 @@
 #ifdef ia64
     	uint8_t c;
-    	c=ns16550_lcr_read(&ns16550);
-    	ns16550_lcr_write(&ns16550,0x80|c);
-    	ns16550_rbr_write(&ns16550,0x0c);
-    	ns16550_ier_write(&ns16550,0x00);
-    	ns16550_lcr_write(&ns16550,c);
+    	c = ns16550_lcr_read(&ns16550);
+    	ns16550_lcr_write(&ns16550, 0x80 | c);
+    	ns16550_rbr_write(&ns16550, 0x0c);
+    	ns16550_ier_write(&ns16550, 0x00);
+    	ns16550_lcr_write(&ns16550, c);
 #endif
 	
@@ -184,10 +184,10 @@
 		}
 #else
-	extern chardev_t kbrd;
-	if(x!=0x0d)
-	{
-	    if(x==0x7f) x='\b';
-	    chardev_push_character(&kbrd,x);
-	}    
+		extern chardev_t kbrd;
+		if(x != 0x0d) {
+			if(x == 0x7f)
+				x = '\b';
+			 chardev_push_character(&kbrd, x);
+		}    
 #endif		
 
@@ -234,10 +234,10 @@
 		}
 #else
-	extern chardev_t kbrd;
-	if(x!=0x0d)
-	{
-	    if(x==0x7f) x='\b';
-	    chardev_push_character(&kbrd,x);
-	}    
+		extern chardev_t kbrd;
+		if(x != 0x0d) {
+			if (x == 0x7f)
+				x = '\b';
+			chardev_push_character(&kbrd, x);
+		}    
 #endif