Index: kernel/genarch/include/acpi/acpi.h
===================================================================
--- kernel/genarch/include/acpi/acpi.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/acpi/acpi.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ACPI_H__
-#define __ACPI_H__
+#ifndef KERN_ACPI_H_
+#define KERN_ACPI_H_
 
 #include <arch/types.h>
@@ -89,7 +89,6 @@
 extern int acpi_sdt_check(uint8_t *sdt);
 
-#endif /* __ACPI_H__ */
+#endif /* KERN_ACPI_H_ */
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/acpi/madt.h
===================================================================
--- kernel/genarch/include/acpi/madt.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/acpi/madt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __MADT_H__
-#define __MADT_H__
+#ifndef KERN_MADT_H_
+#define KERN_MADT_H_
 
 #include <genarch/acpi/acpi.h>
@@ -144,7 +144,6 @@
 extern void acpi_madt_parse(void);
 
-#endif /* __MADT_H__ */
+#endif /* KERN_MADT_H_ */
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/fb/fb.h
===================================================================
--- kernel/genarch/include/fb/fb.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/fb/fb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef _FB_H_
-#define _FB_H_
+#ifndef KERN_FB_H_
+#define KERN_FB_H_
 
 #include <typedefs.h>
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/fb/font-8x16.h
===================================================================
--- kernel/genarch/include/fb/font-8x16.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/fb/font-8x16.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __FONT_8X16_H__
-#define __FONT_8X16_H__
+#ifndef KERN_FONT_8X16_H_
+#define KERN_FONT_8X16_H_
 
 #define FONT_GLIPHS		256
@@ -43,5 +43,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/mm/as_ht.h
===================================================================
--- kernel/genarch/include/mm/as_ht.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/mm/as_ht.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __AS_HT_H__
-#define __AS_HT_H__
+#ifndef KERN_AS_HT_H_
+#define KERN_AS_HT_H_
 
 #include <mm/as.h>
Index: kernel/genarch/include/mm/as_pt.h
===================================================================
--- kernel/genarch/include/mm/as_pt.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/mm/as_pt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __AS_PT_H__
-#define __AS_PT_H__
+#ifndef KERN_AS_PT_H_
+#define KERN_AS_PT_H_
 
 #include <mm/as.h>
Index: kernel/genarch/include/mm/asid_fifo.h
===================================================================
--- kernel/genarch/include/mm/asid_fifo.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/mm/asid_fifo.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarchmm
+/** @addtogroup genarchmm
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ASID_FIFO_H__
-#define __ASID_FIFO_H__
+#ifndef KERN_ASID_FIFO_H_
+#define KERN_ASID_FIFO_H_
 
 extern void asid_fifo_init(void);
@@ -40,5 +40,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/include/mm/page_ht.h
===================================================================
--- kernel/genarch/include/mm/page_ht.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/mm/page_ht.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -37,6 +37,6 @@
 #ifdef CONFIG_PAGE_HT
 
-#ifndef __PAGE_HT_H__
-#define __PAGE_HT_H__
+#ifndef KERN_PAGE_HT_H_
+#define KERN_PAGE_HT_H_
 
 #include <mm/page.h>
Index: kernel/genarch/include/mm/page_pt.h
===================================================================
--- kernel/genarch/include/mm/page_pt.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/mm/page_pt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -41,6 +41,6 @@
 #ifdef CONFIG_PAGE_PT
 
-#ifndef __PAGE_PT_H__
-#define __PAGE_PT_H__
+#ifndef KERN_PAGE_PT_H_
+#define KERN_PAGE_PT_H_
 
 #include <arch/types.h>
Index: kernel/genarch/include/softint/division.h
===================================================================
--- kernel/genarch/include/softint/division.h	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/include/softint/division.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -33,7 +33,6 @@
  */
 
-#ifndef __SOFTINT_DIVISION_H__
-#define __SOFTINT_DIVISION_H__
-
+#ifndef KERN_DIVISION_H_
+#define KERN_DIVISION_H_
 
 /* 32bit integer division */
@@ -65,6 +64,4 @@
 #endif
 
-
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/acpi/acpi.c
===================================================================
--- kernel/genarch/src/acpi/acpi.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/src/acpi/acpi.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,6 +27,5 @@
  */
 
-
- /** @addtogroup genarch
+/** @addtogroup genarch
  * @{
  */
@@ -184,6 +183,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/acpi/madt.c
===================================================================
--- kernel/genarch/src/acpi/madt.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/src/acpi/madt.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -244,5 +244,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/genarch/src/fb/fb.c
===================================================================
--- kernel/genarch/src/fb/fb.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/src/fb/fb.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -305,28 +305,28 @@
 	
 	switch (ch) {
-		case '\n':
-			invert_cursor();
-			position += columns;
-			position -= position % columns;
-			break;
-		case '\r':
-			invert_cursor();
-			position -= position % columns;
-			break;
-		case '\b':
-			invert_cursor();
-			if (position % columns)
-				position--;
-			break;
-		case '\t':
-			invert_cursor();
-			do {
-				draw_char(' ');
-				position++;
-			} while ((position % 8) && position < columns * rows);
-			break;
-		default:
-			draw_char(ch);
+	case '\n':
+		invert_cursor();
+		position += columns;
+		position -= position % columns;
+		break;
+	case '\r':
+		invert_cursor();
+		position -= position % columns;
+		break;
+	case '\b':
+		invert_cursor();
+		if (position % columns)
+			position--;
+		break;
+	case '\t':
+		invert_cursor();
+		do {
+			draw_char(' ');
 			position++;
+		} while ((position % 8) && position < columns * rows);
+		break;
+	default:
+		draw_char(ch);
+		position++;
 	}
 	
@@ -359,29 +359,29 @@
 {
 	switch (bpp) {
-		case 8:
-			rgb2scr = rgb_1byte;
-			scr2rgb = byte1_rgb;
-			pixelbytes = 1;
-			break;
-		case 16:
-			rgb2scr = rgb_2byte;
-			scr2rgb = byte2_rgb;
-			pixelbytes = 2;
-			break;
-		case 24:
-			rgb2scr = rgb_3byte;
-			scr2rgb = byte3_rgb;
-			if (align)
-				pixelbytes = 4;
-			else
-				pixelbytes = 3;
-			break;
-		case 32:
-			rgb2scr = rgb_4byte;
-			scr2rgb = byte4_rgb;
+	case 8:
+		rgb2scr = rgb_1byte;
+		scr2rgb = byte1_rgb;
+		pixelbytes = 1;
+		break;
+	case 16:
+		rgb2scr = rgb_2byte;
+		scr2rgb = byte2_rgb;
+		pixelbytes = 2;
+		break;
+	case 24:
+		rgb2scr = rgb_3byte;
+		scr2rgb = byte3_rgb;
+		if (align)
 			pixelbytes = 4;
-			break;
-		default:
-			panic("Unsupported bpp");
+		else
+			pixelbytes = 3;
+		break;
+	case 32:
+		rgb2scr = rgb_4byte;
+		scr2rgb = byte4_rgb;
+		pixelbytes = 4;
+		break;
+	default:
+		panic("Unsupported bpp");
 	}
 	
Index: kernel/genarch/src/fb/font-8x16.c
===================================================================
--- kernel/genarch/src/fb/font-8x16.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/src/fb/font-8x16.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -4648,5 +4648,4 @@
 };
 
- /** @}
+/** @}
  */
-
Index: kernel/genarch/src/kbd/ns16550.c
===================================================================
--- kernel/genarch/src/kbd/ns16550.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/src/kbd/ns16550.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -105,5 +105,6 @@
 
 /** Wait until the controller reads its data. */
-void ns16550_wait(void) {
+void ns16550_wait(void)
+{
 }
 
Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/src/mm/as_pt.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -142,3 +142,2 @@
 /** @}
  */
-
Index: kernel/genarch/src/softint/division.c
===================================================================
--- kernel/genarch/src/softint/division.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/genarch/src/softint/division.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -192,7 +192,4 @@
 }
 
-
-
- /** @}
+/** @}
  */
-