Index: kernel/arch/amd64/include/arg.h
===================================================================
--- kernel/arch/amd64/include/arg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/arg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_ARG_H__
-#define __amd64_ARG_H__
+#ifndef KERN_amd64_ARG_H_
+#define KERN_amd64_ARG_H_
 
 #include <stdarg.h>
@@ -40,5 +40,5 @@
 #endif
 
- /** @}
+/** @}
  */
 
Index: kernel/arch/amd64/include/asm.h
===================================================================
--- kernel/arch/amd64/include/asm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/asm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_ASM_H__
-#define __amd64_ASM_H__
+#ifndef KERN_amd64_ASM_H_
+#define KERN_amd64_ASM_H_
 
 #include <arch/pm.h>
@@ -275,5 +275,4 @@
 GEN_WRITE_REG(dr7);
 
-
 extern size_t interrupt_handler_size;
 extern void interrupt_handlers(void);
@@ -281,5 +280,4 @@
 #endif
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/amd64/include/atomic.h
===================================================================
--- kernel/arch/amd64/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_ATOMIC_H__
-#define __amd64_ATOMIC_H__
+#ifndef KERN_amd64_ATOMIC_H_
+#define KERN_amd64_ATOMIC_H_
 
 #include <arch/types.h>
@@ -126,5 +126,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/boot/boot.h
===================================================================
--- kernel/arch/amd64/include/boot/boot.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/boot/boot.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,10 +33,10 @@
  */
 
-#ifndef __amd64_BOOT_H__
-#define __amd64_BOOT_H__
+#ifndef KERN_amd64_BOOT_H_
+#define KERN_amd64_BOOT_H_
 
-#define BOOT_OFFSET			0x108000
+#define BOOT_OFFSET		0x108000
 #define AP_BOOT_OFFSET		0x8000
-#define BOOT_STACK_SIZE	0x400
+#define BOOT_STACK_SIZE		0x400
 
 #define MULTIBOOT_HEADER_MAGIC	0x1BADB002
Index: kernel/arch/amd64/include/byteorder.h
===================================================================
--- kernel/arch/amd64/include/byteorder.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/byteorder.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_BYTEORDER_H__
-#define __amd64_BYTEORDER_H__
+#ifndef KERN_amd64_BYTEORDER_H_
+#define KERN_amd64_BYTEORDER_H_
 
 /* AMD64 is little-endian */
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/context.h
===================================================================
--- kernel/arch/amd64/include/context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,8 +33,8 @@
  */
 
-#ifndef __amd64_CONTEXT_H__
-#define __amd64_CONTEXT_H__
+#ifndef KERN_amd64_CONTEXT_H_
+#define KERN_amd64_CONTEXT_H_
 
-#ifndef __amd64_TYPES_H__
+#ifndef KERN_amd64_TYPES_H_
 #  include <arch/types.h>
 #endif
@@ -67,5 +67,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/context_offset.h
===================================================================
--- kernel/arch/amd64/include/context_offset.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/context_offset.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -10,5 +10,2 @@
 #define OFFSET_IPL 0x40
 
- /** @}
- */
-
Index: kernel/arch/amd64/include/cpu.h
===================================================================
--- kernel/arch/amd64/include/cpu.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/cpu.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_CPU_H__
-#define __amd64_CPU_H__
+#ifndef KERN_amd64_CPU_H_
+#define KERN_amd64_CPU_H_
 
 #define RFLAGS_IF       (1 << 9)
Index: kernel/arch/amd64/include/cpuid.h
===================================================================
--- kernel/arch/amd64/include/cpuid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/cpuid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_CPUID_H__
-#define __amd64_CPUID_H__
+#ifndef KERN_amd64_CPUID_H_
+#define KERN_amd64_CPUID_H_
 
 #define AMD_CPUID_EXTENDED   0x80000001
@@ -61,5 +61,5 @@
 extern uint64_t rdtsc(void);
 
-#endif /* __ASM__ */
+#endif /* !def __ASM__ */
 #endif
 
Index: kernel/arch/amd64/include/ddi/ddi.h
===================================================================
--- kernel/arch/amd64/include/ddi/ddi.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/ddi/ddi.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64ddi
+/** @addtogroup amd64ddi
  * @{
  */
@@ -36,6 +36,6 @@
  */
 
-#ifndef __amd64_DDI_H__
-#define __amd64_DDI_H__
+#ifndef KERN_amd64_DDI_H_
+#define KERN_amd64_DDI_H_
 
 extern void io_perm_bitmap_install(void);
@@ -43,5 +43,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/debugger.h
===================================================================
--- kernel/arch/amd64/include/debugger.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/debugger.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64debug
+/** @addtogroup amd64debug
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_DEBUGGER_H__
-#define __amd64_DEBUGGER_H__
+#ifndef KERN_amd64_DEBUGGER_H_
+#define KERN_amd64_DEBUGGER_H_
 
 #include <arch/types.h>
@@ -54,5 +54,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/drivers/vesa.h
===================================================================
--- kernel/arch/amd64/include/drivers/vesa.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/drivers/vesa.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,15 +33,12 @@
  */
 
-#ifndef __VESA_H__
-#define __VESA_H__
-
+#ifndef KERN_amd64_VESA_H_
+#define KERN_amd64_VESA_H_
 
 int vesa_present(void);
 void vesa_init(void);
 
-
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/elf.h
===================================================================
--- kernel/arch/amd64/include/elf.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/elf.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_ELF_H__
-#define __amd64_ELF_H__
+#ifndef KERN_amd64_ELF_H_
+#define KERN_amd64_ELF_H_
 
 #define	ELF_MACHINE		EM_X86_64
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/faddr.h
===================================================================
--- kernel/arch/amd64/include/faddr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/faddr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_FADDR_H__
-#define __amd64_FADDR_H__
+#ifndef KERN_amd64_FADDR_H_
+#define KERN_amd64_FADDR_H_
 
 #include <arch/types.h>
Index: kernel/arch/amd64/include/interrupt.h
===================================================================
--- kernel/arch/amd64/include/interrupt.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/interrupt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64interrupt
+/** @addtogroup amd64interrupt
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_INTERRUPT_H__
-#define __ia32_INTERRUPT_H__
+#ifndef KERN_amd64_INTERRUPT_H_
+#define KERN_amd64_INTERRUPT_H_
 
 #include <arch/types.h>
@@ -129,5 +129,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/memstr.h
===================================================================
--- kernel/arch/amd64/include/memstr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/memstr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_MEMSTR_H__
-#define __amd64_MEMSTR_H__
+#ifndef KERN_amd64_MEMSTR_H_
+#define KERN_amd64_MEMSTR_H_
 
 /** Copy memory
@@ -142,5 +142,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/mm/as.h
===================================================================
--- kernel/arch/amd64/include/mm/as.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64mm	
+/** @addtogroup amd64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_AS_H__
-#define __amd64_AS_H__
+#ifndef KERN_amd64_AS_H_
+#define KERN_amd64_AS_H_
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	0
@@ -51,5 +51,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/mm/frame.h
===================================================================
--- kernel/arch/amd64/include/mm/frame.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/mm/frame.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64mm	
+/** @addtogroup amd64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_FRAME_H__
-#define __amd64_FRAME_H__
+#ifndef KERN_amd64_FRAME_H_
+#define KERN_amd64_FRAME_H_
 
 #ifndef __ASM__
@@ -43,5 +43,4 @@
 #define FRAME_SIZE		(1<<FRAME_WIDTH)
 
-
 #ifndef __ASM__
 extern uintptr_t last_frame;
@@ -51,5 +50,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/mm/page.h
===================================================================
--- kernel/arch/amd64/include/mm/page.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/mm/page.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -45,6 +45,6 @@
  */
 
-#ifndef __amd64_PAGE_H__
-#define __amd64_PAGE_H__
+#ifndef KERN_amd64_PAGE_H_
+#define KERN_amd64_PAGE_H_
 
 #include <arch/mm/frame.h>
Index: kernel/arch/amd64/include/mm/ptl.h
===================================================================
--- kernel/arch/amd64/include/mm/ptl.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/mm/ptl.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64mm	
+/** @addtogroup amd64mm	
  * @{
  */
@@ -33,7 +33,6 @@
  */
 
-
-#ifndef __amd64_PTL_H_
-#define __amd64_PTL_H_
+#ifndef KERN_amd64_PTL_H_
+#define KERN_amd64_PTL_H_
 
 #define PTL_NO_EXEC       (1<<63)
@@ -49,5 +48,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/mm/tlb.h
===================================================================
--- kernel/arch/amd64/include/mm/tlb.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/mm/tlb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64mm	
+/** @addtogroup amd64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_TLB_H__
-#define __amd64_TLB_H__
+#ifndef KERN_amd64_TLB_H_
+#define KERN_amd64_TLB_H_
 
 #define tlb_arch_init()
@@ -41,5 +41,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/pm.h
===================================================================
--- kernel/arch/amd64/include/pm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/pm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_PM_H__
-#define __amd64_PM_H__
+#ifndef KERN_amd64_PM_H_
+#define KERN_amd64_PM_H_
 
 #ifndef __ASM__
@@ -195,5 +195,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/syscall.h
===================================================================
--- kernel/arch/amd64/include/syscall.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/syscall.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64
+/** @addtogroup amd64
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_SYSCALL_H__
-#define __amd64_SYSCALL_H__
+#ifndef KERN_amd64_SYSCALL_H_
+#define KERN_amd64_SYSCALL_H_
 
 #include <arch/types.h>
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/types.h
===================================================================
--- kernel/arch/amd64/include/types.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/include/types.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __amd64_TYPES_H__
-#define __amd64_TYPES_H__
+#ifndef KERN_amd64_TYPES_H_
+#define KERN_amd64_TYPES_H_
 
 #define NULL 0
Index: kernel/arch/amd64/src/ddi/ddi.c
===================================================================
--- kernel/arch/amd64/src/ddi/ddi.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/ddi/ddi.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64ddi
+/** @addtogroup amd64ddi
  * @{
  */
@@ -163,5 +163,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/debugger.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64debug
+/** @addtogroup amd64debug
  * @{
  */
@@ -383,5 +383,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/interrupt.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64interrupt
+/** @addtogroup amd64interrupt
  * @{
  */
@@ -183,5 +183,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/src/mm/memory_init.c
===================================================================
--- kernel/arch/amd64/src/mm/memory_init.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/mm/memory_init.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64mm	
+/** @addtogroup amd64mm	
  * @{
  */
@@ -76,6 +76,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/mm/page.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64mm
+/** @addtogroup amd64mm
  * @{
  */
@@ -216,5 +216,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/pm.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -28,5 +28,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -241,5 +241,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/amd64/src/proc/scheduler.c
===================================================================
--- kernel/arch/amd64/src/proc/scheduler.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/proc/scheduler.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64proc
+/** @addtogroup amd64proc
  * @{
  */
@@ -81,5 +81,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/src/proc/task.c
===================================================================
--- kernel/arch/amd64/src/proc/task.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/proc/task.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64proc
+/** @addtogroup amd64proc
  * @{
  */
@@ -57,5 +57,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/src/syscall.c
===================================================================
--- kernel/arch/amd64/src/syscall.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/syscall.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64
+/** @addtogroup amd64
  * @{
  */
@@ -68,5 +68,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/src/userspace.c
===================================================================
--- kernel/arch/amd64/src/userspace.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/amd64/src/userspace.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -78,5 +78,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/arg.h
===================================================================
--- kernel/arch/ia32/include/arg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/arg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_ARG_H__
-#define __ia32_ARG_H__
+#ifndef KERN_ia32_ARG_H_
+#define KERN_ia32_ARG_H_
 
 #include <stackarg.h>
@@ -40,5 +40,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/asm.h
===================================================================
--- kernel/arch/ia32/include/asm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/asm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -28,5 +28,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -34,6 +34,6 @@
  */
 
-#ifndef __ia32_ASM_H__
-#define __ia32_ASM_H__
+#ifndef KERN_ia32_ASM_H_
+#define KERN_ia32_ASM_H_
 
 #include <arch/pm.h>
@@ -297,5 +297,4 @@
 #endif
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia32/include/atomic.h
===================================================================
--- kernel/arch/ia32/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_ATOMIC_H__
-#define __ia32_ATOMIC_H__
+#ifndef KERN_ia32_ATOMIC_H_
+#define KERN_ia32_ATOMIC_H_
 
 #include <arch/types.h>
@@ -125,5 +125,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/barrier.h
===================================================================
--- kernel/arch/ia32/include/barrier.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/barrier.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_BARRIER_H__
-#define __ia32_BARRIER_H__
+#ifndef KERN_ia32_BARRIER_H_
+#define KERN_ia32_BARRIER_H_
 
 /*
@@ -87,5 +87,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/bios/bios.h
===================================================================
--- kernel/arch/ia32/include/bios/bios.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/bios/bios.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __BIOS_H__
-#define __BIOS_H__
+#ifndef KERN_ia32_BIOS_H_
+#define KERN_ia32_BIOS_H_
 
 #include <arch/types.h>
@@ -44,7 +44,6 @@
 extern void bios_init(void);
 
-#endif /* __BIOS_H__ */
+#endif /* KERN_ia32_BIOS_H_ */
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/boot/boot.h
===================================================================
--- kernel/arch/ia32/include/boot/boot.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/boot/boot.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_BOOT_H__
-#define __ia32_BOOT_H__
+#ifndef KERN_ia32_BOOT_H_
+#define KERN_ia32_BOOT_H_
 
 #define BOOT_OFFSET		0x108000
@@ -47,5 +47,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/boot/memmap.h
===================================================================
--- kernel/arch/ia32/include/boot/memmap.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/boot/memmap.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_MEMMAP_H__
-#define __ia32_MEMMAP_H__
+#ifndef KERN_ia32_MEMMAP_H_
+#define KERN_ia32_MEMMAP_H_
 
 /* E820h memory range types - other values*/
@@ -74,5 +74,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/byteorder.h
===================================================================
--- kernel/arch/ia32/include/byteorder.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/byteorder.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_BYTEORDER_H__
-#define __ia32_BYTEORDER_H__
+#ifndef KERN_ia32_BYTEORDER_H_
+#define KERN_ia32_BYTEORDER_H_
 
 /* IA-32 is little-endian */
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/context.h
===================================================================
--- kernel/arch/ia32/include/context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_CONTEXT_H__
-#define __ia32_CONTEXT_H__
+#ifndef KERN_ia32_CONTEXT_H_
+#define KERN_ia32_CONTEXT_H_
 
 #include <arch/types.h>
@@ -64,5 +64,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/cpu.h
===================================================================
--- kernel/arch/ia32/include/cpu.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/cpu.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_CPU_H__
-#define __ia32_CPU_H__
+#ifndef KERN_ia32_CPU_H_
+#define KERN_ia32_CPU_H_
 
 #include <typedefs.h>
Index: kernel/arch/ia32/include/cpuid.h
===================================================================
--- kernel/arch/ia32/include/cpuid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/cpuid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_CPUID_H__
-#define __ia32_CPUID_H__
+#ifndef KERN_ia32_CPUID_H_
+#define KERN_ia32_CPUID_H_
 
 #include <arch/types.h>
@@ -118,3 +118,2 @@
 /** @}
  */
-
Index: kernel/arch/ia32/include/ddi/ddi.h
===================================================================
--- kernel/arch/ia32/include/ddi/ddi.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/ddi/ddi.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -35,6 +35,6 @@
  */
 
-#ifndef __ia32_DDI_H__
-#define __ia32_DDI_H__
+#ifndef KERN_ia32_DDI_H_
+#define KERN_ia32_DDI_H_
 
 extern void io_perm_bitmap_install(void);
@@ -44,3 +44,2 @@
 /** @}
  */
-
Index: kernel/arch/ia32/include/debug.h
===================================================================
--- kernel/arch/ia32/include/debug.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/debug.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64debug
+/** @addtogroup amd64debug
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_DEBUG_H__
-#define __ia32_DEBUG_H__
+#ifndef KERN_ia32_DEBUG_H_
+#define KERN_ia32_DEBUG_H_
 
 #include <arch/asm.h>
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/ega.h
===================================================================
--- kernel/arch/ia32/include/drivers/ega.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/drivers/ega.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __EGA_H__
-#define __EGA_H__
+#ifndef KERN_ia32_EGA_H_
+#define KERN_ia32_EGA_H_
 
 #define VIDEORAM	0xb8000
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/i8042.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8042.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/drivers/i8042.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -37,6 +37,6 @@
  */
 
-#ifndef __ia32_I8042_H__
-#define __ia32_I8042_H__
+#ifndef KERN_ia32_I8042_H_
+#define KERN_ia32_I8042_H_
 
 #include <arch/asm.h>
@@ -68,5 +68,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/i8254.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8254.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/drivers/i8254.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __I8254_H__
-#define __I8254_H__
+#ifndef KERN_ia32_I8254_H_
+#define KERN_ia32_I8254_H_
 
 #include <arch/types.h>
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/i8259.h
===================================================================
--- kernel/arch/ia32/include/drivers/i8259.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/drivers/i8259.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __I8259_H__
-#define __I8259_H__
+#ifndef KERN_ia32_I8259_H_
+#define KERN_ia32_I8259_H_
 
 #include <arch/types.h>
@@ -54,5 +54,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/drivers/vesa.h
===================================================================
--- kernel/arch/ia32/include/drivers/vesa.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/drivers/vesa.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __VESA_H__
-#define __VESA_H__
+#ifndef KERN_ia32_VESA_H_
+#define KERN_ia32_VESA_H_
 
 extern int vesa_present(void);
@@ -41,5 +41,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/elf.h
===================================================================
--- kernel/arch/ia32/include/elf.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/elf.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_ELF_H__
-#define __ia32_ELF_H__
+#ifndef KERN_ia32_ELF_H_
+#define KERN_ia32_ELF_H_
 
 #define	ELF_MACHINE		EM_386
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/faddr.h
===================================================================
--- kernel/arch/ia32/include/faddr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/faddr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_FADDR_H__
-#define __ia32_FADDR_H__
+#ifndef KERN_ia32_FADDR_H_
+#define KERN_ia32_FADDR_H_
 
 #include <arch/types.h>
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/fpu_context.h
===================================================================
--- kernel/arch/ia32/include/fpu_context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/fpu_context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_FPU_CONTEXT_H__
-#define __ia32_FPU_CONTEXT_H__
+#ifndef KERN_ia32_FPU_CONTEXT_H_
+#define KERN_ia32_FPU_CONTEXT_H_
 
 #include <arch/types.h>
@@ -49,8 +49,6 @@
 };
 
-
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/interrupt.h
===================================================================
--- kernel/arch/ia32/include/interrupt.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/interrupt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_INTERRUPT_H__
-#define __ia32_INTERRUPT_H__
+#ifndef KERN_ia32_INTERRUPT_H_
+#define KERN_ia32_INTERRUPT_H_
 
 #include <arch/types.h>
@@ -127,3 +127,2 @@
 /** @}
  */
-
Index: kernel/arch/ia32/include/memstr.h
===================================================================
--- kernel/arch/ia32/include/memstr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/memstr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_MEMSTR_H__
-#define __ia32_MEMSTR_H__
+#ifndef KERN_ia32_MEMSTR_H_
+#define KERN_ia32_MEMSTR_H_
 
 /** Copy memory
@@ -148,5 +148,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/mm/as.h
===================================================================
--- kernel/arch/ia32/include/mm/as.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_AS_H__
-#define __ia32_AS_H__
+#ifndef KERN_ia32_AS_H_
+#define KERN_ia32_AS_H_
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	0
@@ -51,5 +51,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/mm/asid.h
===================================================================
--- kernel/arch/ia32/include/mm/asid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/mm/asid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -40,6 +40,6 @@
  */
 
-#ifndef __ia32_ASID_H__
-#define __ia32_ASID_H__
+#ifndef KERN_ia32_ASID_H_
+#define KERN_ia32_ASID_H_
 
 typedef int asid_t;
@@ -52,5 +52,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/mm/frame.h
===================================================================
--- kernel/arch/ia32/include/mm/frame.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/mm/frame.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -33,10 +33,9 @@
  */
 
-#ifndef __ia32_FRAME_H__
-#define __ia32_FRAME_H__
+#ifndef KERN_ia32_FRAME_H_
+#define KERN_ia32_FRAME_H_
 
 #define FRAME_WIDTH	12	/* 4K */
 #define FRAME_SIZE	(1<<FRAME_WIDTH)
-
 
 #ifdef KERNEL
@@ -54,5 +53,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/mm/memory_init.h
===================================================================
--- kernel/arch/ia32/include/mm/memory_init.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/mm/memory_init.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -34,6 +34,6 @@
  */
 
-#ifndef __ia32_MEMORY_INIT_H__
-#define __ia32_MEMORY_INIT_H__
+#ifndef KERN_ia32_MEMORY_INIT_H_
+#define KERN_ia32_MEMORY_INIT_H_
 
 #include <typedefs.h>
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/mm/page.h
===================================================================
--- kernel/arch/ia32/include/mm/page.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/mm/page.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_PAGE_H__
-#define __ia32_PAGE_H__
+#ifndef KERN_ia32_PAGE_H_
+#define KERN_ia32_PAGE_H_
 
 #include <arch/mm/frame.h>
@@ -169,5 +169,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/mm/tlb.h
===================================================================
--- kernel/arch/ia32/include/mm/tlb.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/mm/tlb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_TLB_H__
-#define __ia32_TLB_H__
+#ifndef KERN_ia32_TLB_H_
+#define KERN_ia32_TLB_H_
 
 #define tlb_arch_init()
@@ -41,5 +41,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/pm.h
===================================================================
--- kernel/arch/ia32/include/pm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/pm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PM_H__
-#define __PM_H__
+#ifndef KERN_ia32_PM_H_
+#define KERN_ia32_PM_H_
 
 #define IDT_ITEMS 64
@@ -179,5 +179,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/smp/ap.h
===================================================================
--- kernel/arch/ia32/include/smp/ap.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/smp/ap.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __AP_H__
-#define __AP_H__
+#ifndef KERN_ia32_AP_H_
+#define KERN_ia32_AP_H_
 
 extern void ap_boot(void);
@@ -40,5 +40,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/smp/apic.h
===================================================================
--- kernel/arch/ia32/include/smp/apic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/smp/apic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __APIC_H__
-#define __APIC_H__
+#ifndef KERN_ia32_APIC_H_
+#define KERN_ia32_APIC_H_
 
 #include <arch/types.h>
@@ -367,5 +367,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/smp/mps.h
===================================================================
--- kernel/arch/ia32/include/smp/mps.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/smp/mps.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __MPS_H__
-#define __MPS_H__
+#ifndef KERN_ia32_MPS_H_
+#define KERN_ia32_MPS_H_
 
 #include <arch/types.h>
@@ -131,5 +131,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/smp/smp.h
===================================================================
--- kernel/arch/ia32/include/smp/smp.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/smp/smp.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia32_SMP_H__
-#define __ia32_SMP_H__
+#ifndef KERN_ia32_SMP_H_
+#define KERN_ia32_SMP_H_
 
 #include <arch/types.h>
@@ -52,5 +52,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/include/types.h
===================================================================
--- kernel/arch/ia32/include/types.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/include/types.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __TYPES_H__
-#define __TYPES_H__
+#ifndef KERN_ia32_TYPES_H_
+#define KERN_ia32_TYPES_H_
 
 #define NULL 0
Index: kernel/arch/ia32/src/bios/bios.c
===================================================================
--- kernel/arch/ia32/src/bios/bios.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/bios/bios.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -44,5 +44,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/ia32.c
===================================================================
--- kernel/arch/ia32/src/ia32.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/ia32.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32
+/** @addtogroup ia32
  * @{
  */
@@ -156,5 +156,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/as.c
===================================================================
--- kernel/arch/ia32/src/mm/as.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/mm/as.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -43,5 +43,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/frame.c
===================================================================
--- kernel/arch/ia32/src/mm/frame.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/mm/frame.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -144,5 +144,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/memory_init.c
===================================================================
--- kernel/arch/ia32/src/mm/memory_init.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/mm/memory_init.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -76,6 +76,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/mm/page.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm
+/** @addtogroup ia32mm
  * @{
  */
@@ -118,5 +118,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/mm/tlb.c
===================================================================
--- kernel/arch/ia32/src/mm/tlb.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/mm/tlb.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32mm	
+/** @addtogroup ia32mm	
  * @{
  */
@@ -68,5 +68,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/pm.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -237,5 +237,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia32/src/proc/thread.c
===================================================================
--- kernel/arch/ia32/src/proc/thread.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/proc/thread.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -46,3 +46,2 @@
 /** @}
  */
-
Index: kernel/arch/ia32/src/smp/apic.c
===================================================================
--- kernel/arch/ia32/src/smp/apic.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/smp/apic.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -578,5 +578,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia32/src/smp/ipi.c
===================================================================
--- kernel/arch/ia32/src/smp/ipi.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/smp/ipi.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -45,5 +45,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/smp/mps.c
===================================================================
--- kernel/arch/ia32/src/smp/mps.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/smp/mps.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -431,5 +431,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -181,5 +181,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia32/src/userspace.c
===================================================================
--- kernel/arch/ia32/src/userspace.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia32/src/userspace.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia32	
+/** @addtogroup ia32	
  * @{
  */
@@ -84,5 +84,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/arg.h
===================================================================
--- kernel/arch/ia64/include/arg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/arg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_ARG_H__
-#define __ia64_ARG_H__
+#ifndef KERN_ia64_ARG_H_
+#define KERN_ia64_ARG_H_
 
 #include <stdarg.h>
@@ -40,5 +40,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/asm.h
===================================================================
--- kernel/arch/ia64/include/asm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/asm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_ASM_H__
-#define __ia64_ASM_H__
+#ifndef KERN_ia64_ASM_H_
+#define KERN_ia64_ASM_H_
 
 #include <config.h>
@@ -282,5 +282,4 @@
 #endif
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia64/include/atomic.h
===================================================================
--- kernel/arch/ia64/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_ATOMIC_H__
-#define __ia64_ATOMIC_H__
+#ifndef KERN_ia64_ATOMIC_H_
+#define KERN_ia64_ATOMIC_H_
 
 /** Atomic addition.
@@ -63,5 +63,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/barrier.h
===================================================================
--- kernel/arch/ia64/include/barrier.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/barrier.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_BARRIER_H__
-#define __ia64_BARRIER_H__
+#ifndef KERN_ia64_BARRIER_H_
+#define KERN_ia64_BARRIER_H_
 
 /*
@@ -51,5 +51,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/byteorder.h
===================================================================
--- kernel/arch/ia64/include/byteorder.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/byteorder.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_BYTEORDER_H__
-#define __ia64_BYTEORDER_H__
+#ifndef KERN_ia64_BYTEORDER_H_
+#define KERN_ia64_BYTEORDER_H_
 
 /* IA-64 is little-endian */
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/context.h
===================================================================
--- kernel/arch/ia64/include/context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_CONTEXT_H__
-#define __ia64_CONTEXT_H__
+#ifndef KERN_ia64_CONTEXT_H_
+#define KERN_ia64_CONTEXT_H_
 
 #include <arch/types.h>
@@ -133,5 +133,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/cpu.h
===================================================================
--- kernel/arch/ia64/include/cpu.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/cpu.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_CPU_H__
-#define __ia64_CPU_H__
+#ifndef KERN_ia64_CPU_H_
+#define KERN_ia64_CPU_H_
 
 #include <arch/types.h>
Index: kernel/arch/ia64/include/debug.h
===================================================================
--- kernel/arch/ia64/include/debug.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/debug.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64debug ia64
+/** @addtogroup ia64debug ia64
  * @ingroup debug
  * @{
@@ -34,10 +34,9 @@
  */
 
-#ifndef __ia64_DEBUG_H__
-#define __ia64_DEBUG_H__
+#ifndef KERN_ia64_DEBUG_H_
+#define KERN_ia64_DEBUG_H_
 
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/drivers/it.h
===================================================================
--- kernel/arch/ia64/include/drivers/it.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/drivers/it.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_IT_H__
-#define __ia64_IT_H__
+#ifndef KERN_ia64_IT_H_
+#define KERN_ia64_IT_H_
 
 /*
@@ -49,5 +49,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/elf.h
===================================================================
--- kernel/arch/ia64/include/elf.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/elf.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_ELF_H__
-#define __ia64_ELF_H__
+#ifndef KERN_ia64_ELF_H_
+#define KERN_ia64_ELF_H_
 
 #define	ELF_MACHINE		EM_IA_64
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/fpu_context.h
===================================================================
--- kernel/arch/ia64/include/fpu_context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/fpu_context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_FPU_CONTEXT_H__
-#define __ia64_FPU_CONTEXT_H__
+#ifndef KERN_ia64_FPU_CONTEXT_H_
+#define KERN_ia64_FPU_CONTEXT_H_
 
 #define ARCH_HAS_FPU 1
@@ -47,8 +47,6 @@
 };
 
-
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/interrupt.h
===================================================================
--- kernel/arch/ia64/include/interrupt.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/interrupt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64interrupt
+/** @addtogroup ia64interrupt
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_INTERRUPT_H__
-#define __ia64_INTERRUPT_H__
+#ifndef KERN_ia64_INTERRUPT_H_
+#define KERN_ia64_INTERRUPT_H_
 
 #include <typedefs.h>
@@ -124,5 +124,5 @@
 	return istate->cr_iip;
 }
-#include <panic.h>
+
 static inline int istate_from_uspace(istate_t *istate)
 {
@@ -140,9 +140,6 @@
 extern void disabled_fp_register(uint64_t vector, istate_t *istate);
 
-
-
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/memstr.h
===================================================================
--- kernel/arch/ia64/include/memstr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/memstr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_MEMSTR_H__
-#define __ia64_MEMSTR_H__
+#ifndef KERN_ia64_MEMSTR_H_
+#define KERN_ia64_MEMSTR_H_
 
 #define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/mm/as.h
===================================================================
--- kernel/arch/ia64/include/mm/as.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_AS_H__
-#define __ia64_AS_H__
+#ifndef KERN_ia64_AS_H_
+#define KERN_ia64_AS_H_
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	0
@@ -49,5 +49,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/mm/asid.h
===================================================================
--- kernel/arch/ia64/include/mm/asid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/mm/asid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_ASID_H__
-#define __ia64_ASID_H__
+#ifndef KERN_ia64_ASID_H_
+#define KERN_ia64_ASID_H_
 
 #ifndef __ASM__
@@ -63,5 +63,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/mm/frame.h
===================================================================
--- kernel/arch/ia64/include/mm/frame.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/mm/frame.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_FRAME_H__
-#define __ia64_FRAME_H__
+#ifndef KERN_ia64_FRAME_H_
+#define KERN_ia64_FRAME_H_
 
 #define FRAME_WIDTH   14	/* 16K */
@@ -51,5 +51,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/mm/memory_init.h
===================================================================
--- kernel/arch/ia64/include/mm/memory_init.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/mm/memory_init.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_MEMORY_INIT_H__
-#define __ia64_MEMORY_INIT_H__
+#ifndef KERN_ia64_MEMORY_INIT_H_
+#define KERN_ia64_MEMORY_INIT_H_
 
 #include <config.h>
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/mm/page.h
===================================================================
--- kernel/arch/ia64/include/mm/page.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/mm/page.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -34,6 +34,6 @@
  */
 
-#ifndef __ia64_PAGE_H__
-#define __ia64_PAGE_H__
+#ifndef KERN_ia64_PAGE_H_
+#define KERN_ia64_PAGE_H_
 
 #include <arch/mm/frame.h>
Index: kernel/arch/ia64/include/mm/tlb.h
===================================================================
--- kernel/arch/ia64/include/mm/tlb.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/mm/tlb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_TLB_H__
-#define __ia64_TLB_H__
+#ifndef KERN_ia64_TLB_H_
+#define KERN_ia64_TLB_H_
 
 #define tlb_arch_init()
@@ -101,5 +101,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/mm/vhpt.h
===================================================================
--- kernel/arch/ia64/include/mm/vhpt.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/mm/vhpt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -1,39 +1,38 @@
 /*
-* Copyright (C) 2006 Jakub Vana
-* All rights reserved.
-*
-* Redistribution and use in source and binary forms, with or without
-* modification, are permitted provided that the following conditions
-* are met:
-*
-* - Redistributions of source code must retain the above copyright
-*   notice, this list of conditions and the following disclaimer.
-* - Redistributions in binary form must reproduce the above copyright
-*   notice, this list of conditions and the following disclaimer in the
-*   documentation and/or other materials provided with the distribution.
-* - The name of the author may not be used to endorse or promote products
-*   derived from this software without specific prior written permission.
-*
-* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
-* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
-* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
-* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
-* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
-* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
-* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
-* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
-* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
-* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ * Copyright (C) 2006 Jakub Vana
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * - Redistributions of source code must retain the above copyright
+ *   notice, this list of conditions and the following disclaimer.
+ * - Redistributions in binary form must reproduce the above copyright
+ *   notice, this list of conditions and the following disclaimer in the
+ *   documentation and/or other materials provided with the distribution.
+ * - The name of the author may not be used to endorse or promote products
+ *   derived from this software without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
+ * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
+ * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
+ * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
+ * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
+ * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
 /** @file
 */
-													
-
-#ifndef __ia64_VHPT_H__
-#define __ia64_VHPT_H__
+												
+#ifndef KERN_ia64_VHPT_H_
+#define KERN_ia64_VHPT_H_
 
 #include <arch/mm/tlb.h>
@@ -56,9 +55,6 @@
 void vhpt_invalidate_asid(asid_t asid);
 
-
 #endif
 
-
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/pal/pal.h
===================================================================
--- kernel/arch/ia64/include/pal/pal.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/pal/pal.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_PAL_H__
-#define __ia64_PAL_H__
+#ifndef KERN_ia64_PAL_H_
+#define KERN_ia64_PAL_H_
 
 #define PAL_OK		 0	/**< Call completed without error. */
@@ -96,6 +96,6 @@
 
 /*
-	Ski PTCE data
-*/
+ *	Ski PTCE data
+ */
 #define PAL_PTCE_INFO_BASE() (0x100000000LL)
 #define PAL_PTCE_INFO_COUNT1() (2)
@@ -104,8 +104,6 @@
 #define PAL_PTCE_INFO_STRIDE2() (0x2000)
 
-
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/proc/task.h
===================================================================
--- kernel/arch/ia64/include/proc/task.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/proc/task.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64proc
+/** @addtogroup ia64proc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_TASK_H__
-#define __ia64_TASK_H__
+#ifndef KERN_ia64_TASK_H_
+#define KERN_ia64_TASK_H_
 
 typedef struct {
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/register.h
===================================================================
--- kernel/arch/ia64/include/register.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/register.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_REGISTER_H__
-#define __ia64_REGISTER_H__
+#ifndef KERN_ia64_REGISTER_H_
+#define KERN_ia64_REGISTER_H_
 
 #define CR_IVR_MASK	0xf
@@ -275,5 +275,4 @@
 #endif
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia64/include/ski/ski.h
===================================================================
--- kernel/arch/ia64/include/ski/ski.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/ski/ski.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SKI_H__
-#define __SKI_H__
+#ifndef KERN_ia64_SKI_H_
+#define KERN_ia64_SKI_H_
 
 #include <arch/types.h>
@@ -52,5 +52,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: rnel/arch/ia64/include/smp/atomic.h
===================================================================
--- kernel/arch/ia64/include/smp/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 	(revision )
@@ -1,4 +1,0 @@
-
- /** @}
- */
-
Index: kernel/arch/ia64/include/stack.h
===================================================================
--- kernel/arch/ia64/include/stack.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/stack.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_STACK_H__
-#define __ia64_STACK_H__
+#ifndef KERN_ia64_STACK_H_
+#define KERN_ia64_STACK_H_
 
 #define STACK_ITEM_SIZE			8
@@ -43,5 +43,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/include/types.h
===================================================================
--- kernel/arch/ia64/include/types.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/include/types.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __TYPES_H__
-#define __TYPES_H__
+#ifndef KERN_ia64_TYPES_H_
+#define KERN_ia64_TYPES_H_
 
 #define NULL	0
@@ -71,3 +71,2 @@
 /** @}
  */
-
Index: kernel/arch/ia64/src/ia64.c
===================================================================
--- kernel/arch/ia64/src/ia64.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/ia64.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64
+/** @addtogroup ia64
  * @{
  */
@@ -153,5 +153,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/interrupt.c
===================================================================
--- kernel/arch/ia64/src/interrupt.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/interrupt.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -217,10 +217,5 @@
 	}
 
-	if (istate->in4 < SYSCALL_END)
-		return syscall_table[istate->in4](istate->in0, istate->in1, istate->in2, istate->in3);
-	else
-		panic("Undefined syscall %d", istate->in4);
-		
-	return -1;
+	return syscall_handler(istate->in0, istate->in1, istate->in2, istate->in3, istate->in4);
 }
 
Index: kernel/arch/ia64/src/mm/as.c
===================================================================
--- kernel/arch/ia64/src/mm/as.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/mm/as.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm
+/** @addtogroup ia64mm
  * @{
  */
@@ -86,5 +86,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/mm/frame.c
===================================================================
--- kernel/arch/ia64/src/mm/frame.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/mm/frame.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -55,5 +55,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/mm/page.c
===================================================================
--- kernel/arch/ia64/src/mm/page.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/mm/page.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -28,5 +28,5 @@
  */
 
- /** @addtogroup ia64mm	
+/** @addtogroup ia64mm	
  * @{
  */
@@ -264,5 +264,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -32,10 +32,8 @@
 /** @file
 */
-													
 
 #include <arch/mm/vhpt.h>
 #include <mm/frame.h>
 #include <print.h>
-
 
 static vhpt_entry_t* vhpt_base;
Index: kernel/arch/ia64/src/proc/scheduler.c
===================================================================
--- kernel/arch/ia64/src/proc/scheduler.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/proc/scheduler.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64proc
+/** @addtogroup ia64proc
  * @{
  */
@@ -89,5 +89,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/putchar.c
===================================================================
--- kernel/arch/ia64/src/putchar.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/putchar.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -41,5 +41,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ia64/src/ski/ski.c
===================================================================
--- kernel/arch/ia64/src/ski/ski.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ia64/src/ski/ski.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -159,5 +159,4 @@
 }
 
-
 static chardev_operations_t ski_ops = {
 	.resume = ski_kb_enable,
@@ -166,5 +165,4 @@
 	.read = ski_getchar_blocking
 };
-
 
 /** Initialize debug console
@@ -189,4 +187,5 @@
 
 }
+
 /** Setup console sysinfo (i.e. Keyboard IRQ)
  *
@@ -201,5 +200,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/mips32/include/arg.h
===================================================================
--- kernel/arch/mips32/include/arg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/arg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_ARG_H__
-#define __mips32_ARG_H__
+#ifndef KERN_mips32_ARG_H_
+#define KERN_mips32_ARG_H_
 
 #include <arch/types.h>
Index: kernel/arch/mips32/include/asm.h
===================================================================
--- kernel/arch/mips32/include/asm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/asm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_ASM_H__
-#define __mips32_ASM_H__
+#ifndef KERN_mips32_ASM_H_
+#define KERN_mips32_ASM_H_
 
 #include <arch/types.h>
Index: kernel/arch/mips32/include/asm/boot.h
===================================================================
--- kernel/arch/mips32/include/asm/boot.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/asm/boot.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_BOOT_H_
-#define __mips32_BOOT_H_
+#ifndef KERN_mips32_BOOT_H_
+#define KERN_mips32_BOOT_H_
 
 
@@ -44,3 +44,2 @@
 /** @}
  */
-
Index: kernel/arch/mips32/include/asm/regname.h
===================================================================
--- kernel/arch/mips32/include/asm/regname.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/asm/regname.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_REGNAME_H_
-#define __mips32_REGNAME_H_
+#ifndef KERN_mips32_REGNAME_H_
+#define KERN_mips32_REGNAME_H_
 
 #define zero    0
@@ -92,6 +92,5 @@
 #define eepc		30
 
-
-#endif /* _REGNAME_H_ */
+#endif /* KERN_mips32_REGNAME_H_ */
 
 /** @}
Index: kernel/arch/mips32/include/atomic.h
===================================================================
--- kernel/arch/mips32/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_ATOMIC_H__
-#define __mips32_ATOMIC_H__
+#ifndef KERN_mips32_ATOMIC_H_
+#define KERN_mips32_ATOMIC_H_
 
 #define atomic_inc(x)	((void) atomic_add(x, 1))
Index: kernel/arch/mips32/include/barrier.h
===================================================================
--- kernel/arch/mips32/include/barrier.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/barrier.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_BARRIER_H__
-#define __mips32_BARRIER_H__
+#ifndef KERN_mips32_BARRIER_H_
+#define KERN_mips32_BARRIER_H_
 
 /*
@@ -50,3 +50,2 @@
 /** @}
  */
-
Index: kernel/arch/mips32/include/boot.h
===================================================================
--- kernel/arch/mips32/include/boot.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/boot.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,6 +27,6 @@
  */
 
-#ifndef __mips32_BOOT_H__
-#define __mips32_BOOT_H__
+#ifndef KERN_mips32_BOOT_H_
+#define KERN_mips32_BOOT_H_
 
 #define TASKMAP_MAX_RECORDS 32
Index: kernel/arch/mips32/include/byteorder.h
===================================================================
--- kernel/arch/mips32/include/byteorder.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/byteorder.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_BYTEORDER_H__
-#define __mips32_BYTEORDER_H__
+#ifndef KERN_mips32_BYTEORDER_H_
+#define KERN_mips32_BYTEORDER_H_
 
 #include <arch/types.h>
Index: kernel/arch/mips32/include/cache.h
===================================================================
--- kernel/arch/mips32/include/cache.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/cache.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_CACHE_H__
-#define __mips32_CACHE_H__
+#ifndef KERN_mips32_CACHE_H_
+#define KERN_mips32_CACHE_H_
 
 #include <typedefs.h>
Index: kernel/arch/mips32/include/console.h
===================================================================
--- kernel/arch/mips32/include/console.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/console.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,7 +33,6 @@
  */
 
-#ifndef __mips32_CONSOLE_H__
-#define __mips32_CONSOLE_H__
-
+#ifndef KERN_mips32_CONSOLE_H_
+#define KERN_mips32_CONSOLE_H_
 
 void console_init(void);
Index: kernel/arch/mips32/include/context.h
===================================================================
--- kernel/arch/mips32/include/context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_CONTEXT_H__
-#define __mips32_CONTEXT_H__
+#ifndef KERN_mips32_CONTEXT_H_
+#define KERN_mips32_CONTEXT_H_
 
 #include <align.h>
Index: kernel/arch/mips32/include/cp0.h
===================================================================
--- kernel/arch/mips32/include/cp0.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/cp0.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_CP0_H__
-#define __mips32_CP0_H__
+#ifndef KERN_mips32_CP0_H_
+#define KERN_mips32_CP0_H_
 
 #include <arch/types.h>
Index: kernel/arch/mips32/include/cpu.h
===================================================================
--- kernel/arch/mips32/include/cpu.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/cpu.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_CPU_H__
-#define __mips32_CPU_H__
+#ifndef KERN_mips32_CPU_H_
+#define KERN_mips32_CPU_H_
 
 #include <arch/types.h>
Index: kernel/arch/mips32/include/debug.h
===================================================================
--- kernel/arch/mips32/include/debug.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/debug.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,8 +33,6 @@
  */
 
-#ifndef __mips32_DEBUG_H__
-#define __mips23_DEBUG_H__
-
-
+#ifndef KERN_mips32_DEBUG_H_
+#define KERN_mips23_DEBUG_H_
 
 /**	simulator enters the trace mode */
@@ -49,5 +47,4 @@
 #define ___intmode()	asm volatile ( "\t.word\t0x29\n");
 
-
 #endif
 
Index: kernel/arch/mips32/include/debugger.h
===================================================================
--- kernel/arch/mips32/include/debugger.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/debugger.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef _mips32_DEBUGGER_H_
-#define _mips32_DEBUGGER_H_
+#ifndef KERN_mips32_DEBUGGER_H_
+#define KERN_mips32_DEBUGGER_H_
 
 #include <typedefs.h>
Index: kernel/arch/mips32/include/drivers/arc.h
===================================================================
--- kernel/arch/mips32/include/drivers/arc.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/drivers/arc.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_ARC_H__
-#define __mips32_ARC_H__
+#ifndef KERN_mips32_ARC_H_
+#define KERN_mips32_ARC_H_
 
 #include <arch/types.h>
@@ -54,5 +54,5 @@
 	CmResourceTypeProductName,
 	CmResourceTypeSerialNumber
-}cm_resource_type;
+} cm_resource_type;
 
 typedef struct {
@@ -75,5 +75,5 @@
 		}memory;
 	}u;
-}__attribute__ ((packed)) cm_resource_descriptor;
+} __attribute__ ((packed)) cm_resource_descriptor;
 
 typedef struct {
@@ -82,5 +82,5 @@
 	unsigned long count;
 	cm_resource_descriptor descr[1];
-}__attribute__ ((packed)) cm_resource_list;
+} __attribute__ ((packed)) cm_resource_list;
 
 typedef enum {
@@ -138,5 +138,5 @@
 	TPUAdapter,
 	Anonymous
-}arc_component_type;
+} arc_component_type;
 
 typedef enum {
@@ -148,5 +148,5 @@
 	Input = 32,
 	Output = 64
-}arc_component_flags;
+} arc_component_flags;
 
 typedef struct  {
@@ -183,5 +183,5 @@
 	FirmwareTemporary,
 	FirmwarePermanent
-}arc_memorytype_t;
+} arc_memorytype_t;
 
 typedef struct  {
@@ -189,10 +189,10 @@
 	uint32_t basepage;  /* *4096 = baseaddr */
 	uint32_t basecount;
-}arc_memdescriptor_t;
+} arc_memdescriptor_t;
 
 typedef struct {
 	char vendorid[8];
 	char prodid[8];
-}arc_sysid_t;
+} arc_sysid_t;
 
 typedef struct {
@@ -255,5 +255,5 @@
 	void *privvector;
 	uint32_t adaptercount;
-}__attribute__ ((packed)) arc_sbp;
+} __attribute__ ((packed)) arc_sbp;
 
 extern int arc_init(void);
@@ -266,3 +266,2 @@
  /** @}
  */
-
Index: kernel/arch/mips32/include/drivers/msim.h
===================================================================
--- kernel/arch/mips32/include/drivers/msim.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/drivers/msim.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -33,10 +33,10 @@
  */
 
-#ifndef _MSIM_H_
-#define _MSIM_H_
+#ifndef KERN_mips32_MSIM_H_
+#define KERN_mips32_MSIM_H_
 
 #include <console/chardev.h>
 
-#define MSIM_VIDEORAM            0xB0000000
+#define MSIM_VIDEORAM            	0xB0000000
 /** Address of 'keyboard' device. */
 #define MSIM_KBD_ADDRESS		0xB0000000
@@ -49,5 +49,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/include/drivers/serial.h
===================================================================
--- kernel/arch/mips32/include/drivers/serial.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/drivers/serial.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __DRV_SERIAL_H__
-#define __DRV_SERIAL_H__
+#ifndef KERN_mips32_SERIAL_H_
+#define KERN_mips32_SERIAL_H_
 
 #include <console/chardev.h>
@@ -68,5 +68,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/include/elf.h
===================================================================
--- kernel/arch/mips32/include/elf.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/elf.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_ELF_H__
-#define __mips32_ELF_H__
+#ifndef KERN_mips32_ELF_H_
+#define KERN_mips32_ELF_H_
 
 #define	ELF_MACHINE		EM_MIPS
Index: kernel/arch/mips32/include/exception.h
===================================================================
--- kernel/arch/mips32/include/exception.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/exception.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,8 +33,8 @@
  */
 
-#ifndef __mips32_EXCEPTION_H__
-#define __mips32_EXCEPTION_H__
+#ifndef KERN_mips32_EXCEPTION_H_
+#define KERN_mips32_EXCEPTION_H_
 
-#ifndef __mips32_TYPES_H__
+#ifndef KERN_mips32_TYPES_H_
 #  include <arch/types.h>
 #endif
Index: kernel/arch/mips32/include/faddr.h
===================================================================
--- kernel/arch/mips32/include/faddr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/faddr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_FADDR_H__
-#define __mips32_FADDR_H__
+#ifndef KERN_mips32_FADDR_H_
+#define KERN_mips32_FADDR_H_
 
 #include <arch/types.h>
Index: kernel/arch/mips32/include/fpu_context.h
===================================================================
--- kernel/arch/mips32/include/fpu_context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/fpu_context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_FPU_CONTEXT_H__
-#define __mips32_FPU_CONTEXT_H__
+#ifndef KERN_mips32_FPU_CONTEXT_H_
+#define KERN_mips32_FPU_CONTEXT_H_
 
 #include <arch/types.h>
Index: kernel/arch/mips32/include/interrupt.h
===================================================================
--- kernel/arch/mips32/include/interrupt.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/interrupt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_INTERRUPT_H__
-#define __mips32_INTERRUPT_H__
+#ifndef KERN_mips32_INTERRUPT_H_
+#define KERN_mips32_INTERRUPT_H_
 
 #include <arch/exception.h>
Index: kernel/arch/mips32/include/memstr.h
===================================================================
--- kernel/arch/mips32/include/memstr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/memstr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_MEMSTR_H__
-#define __mips32_MEMSTR_H__
+#ifndef KERN_mips32_MEMSTR_H_
+#define KERN_mips32_MEMSTR_H_
 
 #define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
Index: kernel/arch/mips32/include/mm/as.h
===================================================================
--- kernel/arch/mips32/include/mm/as.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_AS_H__
-#define __mips32_AS_H__
+#ifndef KERN_mips32_AS_H_
+#define KERN_mips32_AS_H_
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	0
Index: kernel/arch/mips32/include/mm/asid.h
===================================================================
--- kernel/arch/mips32/include/mm/asid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/mm/asid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_ASID_H__
-#define __mips32_ASID_H__
+#ifndef KERN_mips32_ASID_H_
+#define KERN_mips32_ASID_H_
 
 #include <arch/types.h>
@@ -46,3 +46,2 @@
 /** @}
  */
-
Index: kernel/arch/mips32/include/mm/frame.h
===================================================================
--- kernel/arch/mips32/include/mm/frame.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/mm/frame.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_FRAME_H__
-#define __mips32_FRAME_H__
+#ifndef KERN_mips32_FRAME_H_
+#define KERN_mips32_FRAME_H_
 
 #define FRAME_WIDTH		14	/* 16K */
Index: kernel/arch/mips32/include/mm/memory_init.h
===================================================================
--- kernel/arch/mips32/include/mm/memory_init.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/mm/memory_init.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_MEMORY_INIT_H__
-#define __mips32_MEMORY_INIT_H__
+#ifndef KERN_mips32_MEMORY_INIT_H_
+#define KERN_mips32_MEMORY_INIT_H_
 
 #include <config.h>
Index: kernel/arch/mips32/include/mm/page.h
===================================================================
--- kernel/arch/mips32/include/mm/page.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/mm/page.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_PAGE_H__
-#define __mips32_PAGE_H__
+#ifndef KERN_mips32_PAGE_H_
+#define KERN_mips32_PAGE_H_
 
 #include <arch/mm/frame.h>
Index: kernel/arch/mips32/include/mm/tlb.h
===================================================================
--- kernel/arch/mips32/include/mm/tlb.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/mm/tlb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_TLB_H__
-#define __mips32_TLB_H__
+#ifndef KERN_mips32_TLB_H_
+#define KERN_mips32_TLB_H_
 
 #include <arch/exception.h>
Index: kernel/arch/mips32/include/proc/task.h
===================================================================
--- kernel/arch/mips32/include/proc/task.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/proc/task.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32proc
+/** @addtogroup mips32proc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_TASK_H__
-#define __mips32_TASK_H__
+#ifndef KERN_mips32_TASK_H_
+#define KERN_mips32_TASK_H_
 
 typedef struct {
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/include/stack.h
===================================================================
--- kernel/arch/mips32/include/stack.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/stack.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_STACK_H__
-#define __mips32_STACK_H__
+#ifndef KERN_mips32_STACK_H_
+#define KERN_mips32_STACK_H_
 
 #define STACK_ITEM_SIZE		4
Index: kernel/arch/mips32/include/types.h
===================================================================
--- kernel/arch/mips32/include/types.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/include/types.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __mips32_TYPES_H__
-#define __mips32_TYPES_H__
+#ifndef KERN_mips32_TYPES_H_
+#define KERN_mips32_TYPES_H_
 
 #define NULL	0
Index: kernel/arch/mips32/src/cache.c
===================================================================
--- kernel/arch/mips32/src/cache.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/cache.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -45,3 +45,2 @@
 /** @}
  */
-
Index: kernel/arch/mips32/src/console.c
===================================================================
--- kernel/arch/mips32/src/console.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/console.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -65,5 +65,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/ddi/ddi.c
===================================================================
--- kernel/arch/mips32/src/ddi/ddi.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/ddi/ddi.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32ddi
+/** @addtogroup mips32ddi
  * @{
  */
@@ -56,5 +56,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/debugger.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32debug
+/** @addtogroup mips32debug
  * @{
  */
@@ -384,5 +384,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/mips32/src/drivers/arc.c
===================================================================
--- kernel/arch/mips32/src/drivers/arc.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/drivers/arc.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -408,6 +408,4 @@
 }
 
-
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/mips32/src/drivers/msim.c
===================================================================
--- kernel/arch/mips32/src/drivers/msim.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/drivers/msim.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -127,5 +127,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/drivers/serial.c
===================================================================
--- kernel/arch/mips32/src/drivers/serial.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/drivers/serial.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32	
+/** @addtogroup mips32	
  * @{
  */
@@ -144,5 +144,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/interrupt.c
===================================================================
--- kernel/arch/mips32/src/interrupt.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/interrupt.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -144,3 +144,2 @@
 /** @}
  */
-
Index: kernel/arch/mips32/src/mips32.c
===================================================================
--- kernel/arch/mips32/src/mips32.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/mips32.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -32,5 +32,4 @@
 /** @file
  */
-
 
 #include <arch.h>
@@ -180,5 +179,4 @@
 }
 
-
 /** @}
  */
Index: kernel/arch/mips32/src/mm/as.c
===================================================================
--- kernel/arch/mips32/src/mm/as.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/mm/as.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32mm
+/** @addtogroup mips32mm
  * @{
  */
@@ -73,6 +73,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/arch/mips32/src/mm/page.c
===================================================================
--- kernel/arch/mips32/src/mm/page.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/mips32/src/mm/page.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup mips32mm	
+/** @addtogroup mips32mm	
  * @{
  */
@@ -51,5 +51,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/arg.h
===================================================================
--- kernel/arch/ppc32/include/arg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/arg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_ARG_H__
-#define __ppc32_ARG_H__
+#ifndef KERN_ppc32_ARG_H_
+#define KERN_ppc32_ARG_H_
 
 #include <stdarg.h>
@@ -40,5 +40,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/asm.h
===================================================================
--- kernel/arch/ppc32/include/asm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/asm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_ASM_H__
-#define __ppc32_ASM_H__
+#ifndef KERN_ppc32_ASM_H_
+#define KERN_ppc32_ASM_H_
 
 #include <arch/types.h>
@@ -152,5 +152,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/asm/regname.h
===================================================================
--- kernel/arch/ppc32/include/asm/regname.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/asm/regname.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_REGNAME_H__
-#define __ppc32_REGNAME_H__
+#ifndef KERN_ppc32_REGNAME_H_
+#define KERN_ppc32_REGNAME_H_
 
 /* Condition Register Bit Fields */
Index: kernel/arch/ppc32/include/atomic.h
===================================================================
--- kernel/arch/ppc32/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_ATOMIC_H__
-#define __ppc32_ATOMIC_H__
+#ifndef KERN_ppc32_ATOMIC_H_
+#define KERN_ppc32_ATOMIC_H_
 
 static inline void atomic_inc(atomic_t *val)
@@ -94,5 +94,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/barrier.h
===================================================================
--- kernel/arch/ppc32/include/barrier.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/barrier.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_BARRIER_H__
-#define __ppc32_BARRIER_H__
+#ifndef KERN_ppc32_BARRIER_H_
+#define KERN_ppc32_BARRIER_H_
 
 #define CS_ENTER_BARRIER()	asm volatile ("" ::: "memory")
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/boot/boot.h
===================================================================
--- kernel/arch/ppc32/include/boot/boot.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/boot/boot.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_BOOT_H__
-#define __ppc32_BOOT_H__
+#ifndef KERN_ppc32_BOOT_H_
+#define KERN_ppc32_BOOT_H_
 
 #define BOOT_OFFSET		0x8000
Index: kernel/arch/ppc32/include/byteorder.h
===================================================================
--- kernel/arch/ppc32/include/byteorder.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/byteorder.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_BYTEORDER_H__
-#define __ppc32_BYTEORDER_H__
+#ifndef KERN_ppc32_BYTEORDER_H_
+#define KERN_ppc32_BYTEORDER_H_
 
 #include <arch/types.h>
@@ -70,5 +70,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/context.h
===================================================================
--- kernel/arch/ppc32/include/context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,8 +33,8 @@
  */
 
-#ifndef __ppc32_CONTEXT_H__
-#define __ppc32_CONTEXT_H__
+#ifndef KERN_ppc32_CONTEXT_H_
+#define KERN_ppc32_CONTEXT_H_
 
-#ifndef __ppc32_TYPES_H__
+#ifndef KERN_ppc32_TYPES_H_
 # include <arch/types.h>
 #endif
@@ -74,5 +74,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/context_offset.h
===================================================================
--- kernel/arch/ppc32/include/context_offset.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/context_offset.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -45,5 +45,2 @@
 #define OFFSET_FPSCR 0x90
 
- /** @}
- */
-
Index: kernel/arch/ppc32/include/cpu.h
===================================================================
--- kernel/arch/ppc32/include/cpu.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/cpu.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_CPU_H__
-#define __ppc32_CPU_H__
+#ifndef KERN_ppc32_CPU_H_
+#define KERN_ppc32_CPU_H_
 
 #include <typedefs.h>
Index: kernel/arch/ppc32/include/cpuid.h
===================================================================
--- kernel/arch/ppc32/include/cpuid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/cpuid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_CPUID_H__
-#define __ppc32_CPUID_H__
+#ifndef KERN_ppc32_CPUID_H_
+#define KERN_ppc32_CPUID_H_
 
 #include <arch/types.h>
Index: kernel/arch/ppc32/include/debug.h
===================================================================
--- kernel/arch/ppc32/include/debug.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/debug.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32debug
+/** @addtogroup ppc32debug
  * @{
  */
@@ -33,10 +33,9 @@
  */
 
-#ifndef __ppc32_DEBUG_H__
-#define __ppc32_DEBUG_H__
+#ifndef KERN_ppc32_DEBUG_H_
+#define KERN_ppc32_DEBUG_H_
 
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CUDA_H__
-#define __CUDA_H__
+#ifndef KERN_ppc32_CUDA_H_
+#define KERN_ppc32_CUDA_H_
 
 #include <arch/types.h>
Index: kernel/arch/ppc32/include/drivers/pic.h
===================================================================
--- kernel/arch/ppc32/include/drivers/pic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/drivers/pic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PIC_H_
-#define __PIC_H_
+#ifndef KERN_ppc32_PIC_H_
+#define KERN_ppc32_PIC_H_
 
 #define PIC_PENDING_LOW    8
Index: kernel/arch/ppc32/include/elf.h
===================================================================
--- kernel/arch/ppc32/include/elf.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/elf.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_ELF_H__
-#define __ppc32_ELF_H__
+#ifndef KERN_ppc32_ELF_H_
+#define KERN_ppc32_ELF_H_
 
 #define	ELF_MACHINE		EM_PPC
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/exception.h
===================================================================
--- kernel/arch/ppc32/include/exception.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/exception.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,8 +33,8 @@
  */
 
-#ifndef __ppc32_EXCEPTION_H__
-#define __ppc32_EXCEPTION_H__
+#ifndef KERN_ppc32_EXCEPTION_H_
+#define KERN_ppc32_EXCEPTION_H_
 
-#ifndef __ppc32_TYPES_H__
+#ifndef KERN_ppc32_TYPES_H_
 #  include <arch/types.h>
 #endif
Index: kernel/arch/ppc32/include/faddr.h
===================================================================
--- kernel/arch/ppc32/include/faddr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/faddr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_FADDR_H__
-#define __ppc32_FADDR_H__
+#ifndef KERN_ppc32_FADDR_H_
+#define KERN_ppc32_FADDR_H_
 
 #include <arch/types.h>
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/fpu_context.h
===================================================================
--- kernel/arch/ppc32/include/fpu_context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/fpu_context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,8 +33,8 @@
  */
 
-#ifndef __ppc32_FPU_CONTEXT_H__
-#define __ppc32_FPU_CONTEXT_H__
+#ifndef KERN_ppc32_FPU_CONTEXT_H_
+#define KERN_ppc32_FPU_CONTEXT_H_
 
-#ifndef __ppc32_TYPES_H__
+#ifndef KERN_ppc32_TYPES_H_
 # include <arch/types.h>
 #endif
@@ -64,5 +64,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/interrupt.h
===================================================================
--- kernel/arch/ppc32/include/interrupt.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/interrupt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,11 +33,10 @@
  */
 
-#ifndef __ppc32_INTERRUPT_H__
-#define __ppc32_INTERRUPT_H__
+#ifndef KERN_ppc32_INTERRUPT_H_
+#define KERN_ppc32_INTERRUPT_H_
 
 #include <arch/exception.h>
 
 #define IRQ_COUNT	64
-
 
 #define IVT_ITEMS   (16 + IRQ_COUNT)
Index: kernel/arch/ppc32/include/memstr.h
===================================================================
--- kernel/arch/ppc32/include/memstr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/memstr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_MEMSTR_H__
-#define __ppc32_MEMSTR_H__
+#ifndef KERN_ppc32_MEMSTR_H_
+#define KERN_ppc32_MEMSTR_H_
 
 #define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/mm/as.h
===================================================================
--- kernel/arch/ppc32/include/mm/as.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_AS_H__
-#define __ppc32_AS_H__
+#ifndef KERN_ppc32_AS_H_
+#define KERN_ppc32_AS_H_
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	0
Index: kernel/arch/ppc32/include/mm/asid.h
===================================================================
--- kernel/arch/ppc32/include/mm/asid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/mm/asid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_ASID_H__
-#define __ppc32_ASID_H__
+#ifndef KERN_ppc32_ASID_H_
+#define KERN_ppc32_ASID_H_
 
 #include <arch/types.h>
Index: kernel/arch/ppc32/include/mm/frame.h
===================================================================
--- kernel/arch/ppc32/include/mm/frame.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/mm/frame.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_FRAME_H__
-#define __ppc32_FRAME_H__
+#ifndef KERN_ppc32_FRAME_H_
+#define KERN_ppc32_FRAME_H_
 
 #define FRAME_WIDTH		12	/* 4K */
Index: kernel/arch/ppc32/include/mm/memory_init.h
===================================================================
--- kernel/arch/ppc32/include/mm/memory_init.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/mm/memory_init.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_MEMORY_INIT_H__
-#define __ppc32_MEMORY_INIT_H__
+#ifndef KERN_ppc32_MEMORY_INIT_H_
+#define KERN_ppc32_MEMORY_INIT_H_
 
 #include <typedefs.h>
Index: kernel/arch/ppc32/include/mm/tlb.h
===================================================================
--- kernel/arch/ppc32/include/mm/tlb.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/mm/tlb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_TLB_H__
-#define __ppc32_TLB_H__
+#ifndef KERN_ppc32_TLB_H_
+#define KERN_ppc32_TLB_H_
 
 typedef struct {
Index: kernel/arch/ppc32/include/proc/task.h
===================================================================
--- kernel/arch/ppc32/include/proc/task.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/proc/task.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32proc
+/** @addtogroup ppc32proc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_TASK_H__
-#define __ppc32_TASK_H__
+#ifndef KERN_ppc32_TASK_H_
+#define KERN_ppc32_TASK_H_
 
 typedef struct {
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/include/types.h
===================================================================
--- kernel/arch/ppc32/include/types.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/include/types.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc32_TYPES_H__
-#define __ppc32_TYPES_H__
+#ifndef KERN_ppc32_TYPES_H_
+#define KERN_ppc32_TYPES_H_
 
 #define NULL 0
Index: kernel/arch/ppc32/src/ddi/ddi.c
===================================================================
--- kernel/arch/ppc32/src/ddi/ddi.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/src/ddi/ddi.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32ddi
+/** @addtogroup ppc32ddi
  * @{
  */
@@ -53,5 +53,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc32/src/drivers/pic.c
===================================================================
--- kernel/arch/ppc32/src/drivers/pic.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc32/src/drivers/pic.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -91,5 +91,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/arg.h
===================================================================
--- kernel/arch/ppc64/include/arg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/arg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_ARG_H__
-#define __ppc64_ARG_H__
+#ifndef KERN_ppc64_ARG_H_
+#define KERN_ppc64_ARG_H_
 
 #include <stdarg.h>
@@ -40,5 +40,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/asm.h
===================================================================
--- kernel/arch/ppc64/include/asm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/asm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_ASM_H__
-#define __ppc64_ASM_H__
+#ifndef KERN_ppc64_ASM_H_
+#define KERN_ppc64_ASM_H_
 
 #include <arch/types.h>
@@ -158,5 +158,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/asm/regname.h
===================================================================
--- kernel/arch/ppc64/include/asm/regname.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/asm/regname.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_REGNAME_H__
-#define __ppc64_REGNAME_H__
+#ifndef KERN_ppc64_REGNAME_H_
+#define KERN_ppc64_REGNAME_H_
 
 /* Condition Register Bit Fields */
@@ -212,5 +212,4 @@
 #endif
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ppc64/include/atomic.h
===================================================================
--- kernel/arch/ppc64/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_ATOMIC_H__
-#define __ppc64_ATOMIC_H__
+#ifndef KERN_ppc64_ATOMIC_H_
+#define KERN_ppc64_ATOMIC_H_
 
 static inline void atomic_inc(atomic_t *val)
@@ -94,5 +94,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/barrier.h
===================================================================
--- kernel/arch/ppc64/include/barrier.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/barrier.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_BARRIER_H__
-#define __ppc64_BARRIER_H__
+#ifndef KERN_ppc64_BARRIER_H_
+#define KERN_ppc64_BARRIER_H_
 
 #define CS_ENTER_BARRIER()	asm volatile ("" ::: "memory")
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/boot/boot.h
===================================================================
--- kernel/arch/ppc64/include/boot/boot.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/boot/boot.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_BOOT_H__
-#define __ppc64_BOOT_H__
+#ifndef KERN_ppc64_BOOT_H_
+#define KERN_ppc64_BOOT_H_
 
 #define BOOT_OFFSET		0x4000
@@ -89,5 +89,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/byteorder.h
===================================================================
--- kernel/arch/ppc64/include/byteorder.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/byteorder.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_BYTEORDER_H__
-#define __ppc64_BYTEORDER_H__
+#ifndef KERN_ppc64_BYTEORDER_H_
+#define KERN_ppc64_BYTEORDER_H_
 
 #include <arch/types.h>
@@ -70,5 +70,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/context.h
===================================================================
--- kernel/arch/ppc64/include/context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,8 +33,8 @@
  */
 
-#ifndef __ppc64_CONTEXT_H__
-#define __ppc64_CONTEXT_H__
+#ifndef KERN_ppc64_CONTEXT_H_
+#define KERN_ppc64_CONTEXT_H_
 
-#ifndef __ppc64_TYPES_H__
+#ifndef KERN_ppc64_TYPES_H_
 # include <arch/types.h>
 #endif
@@ -74,5 +74,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/context_offset.h
===================================================================
--- kernel/arch/ppc64/include/context_offset.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/context_offset.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -44,6 +44,2 @@
 #define OFFSET_FR31  0x88
 #define OFFSET_FPSCR 0x90
-
- /** @}
- */
-
Index: kernel/arch/ppc64/include/cpu.h
===================================================================
--- kernel/arch/ppc64/include/cpu.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/cpu.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_CPU_H__
-#define __ppc64_CPU_H__
+#ifndef KERN_ppc64_CPU_H_
+#define KERN_ppc64_CPU_H_
 
 #include <typedefs.h>
Index: kernel/arch/ppc64/include/cpuid.h
===================================================================
--- kernel/arch/ppc64/include/cpuid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/cpuid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_CPUID_H__
-#define __ppc64_CPUID_H__
+#ifndef KERN_ppc64_CPUID_H_
+#define KERN_ppc64_CPUID_H_
 
 #include <arch/types.h>
Index: kernel/arch/ppc64/include/debug.h
===================================================================
--- kernel/arch/ppc64/include/debug.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/debug.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64debug
+/** @addtogroup ppc64debug
  * @{
  */
@@ -33,10 +33,9 @@
  */
 
-#ifndef __ppc64_DEBUG_H__
-#define __ppc64_DEBUG_H__
+#ifndef KERN_ppc64_DEBUG_H_
+#define KERN_ppc64_DEBUG_H_
 
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/elf.h
===================================================================
--- kernel/arch/ppc64/include/elf.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/elf.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_ELF_H__
-#define __ppc64_ELF_H__
+#ifndef KERN_ppc64_ELF_H_
+#define KERN_ppc64_ELF_H_
 
 #define	ELF_MACHINE		EM_PPC64
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/exception.h
===================================================================
--- kernel/arch/ppc64/include/exception.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/exception.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,8 +33,8 @@
  */
 
-#ifndef __ppc64_EXCEPTION_H__
-#define __ppc64_EXCEPTION_H__
+#ifndef KERN_ppc64_EXCEPTION_H_
+#define KERN_ppc64_EXCEPTION_H_
 
-#ifndef __ppc64_TYPES_H__
+#ifndef KERN_ppc64_TYPES_H_
 #  include <arch/types.h>
 #endif
@@ -101,5 +101,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/faddr.h
===================================================================
--- kernel/arch/ppc64/include/faddr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/faddr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_FADDR_H__
-#define __ppc64_FADDR_H__
+#ifndef KERN_ppc64_FADDR_H_
+#define KERN_ppc64_FADDR_H_
 
 #include <arch/types.h>
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/fpu_context.h
===================================================================
--- kernel/arch/ppc64/include/fpu_context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/fpu_context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,8 +33,8 @@
  */
 
-#ifndef __ppc64_FPU_CONTEXT_H__
-#define __ppc64_FPU_CONTEXT_H__
+#ifndef KERN_ppc64_FPU_CONTEXT_H_
+#define KERN_ppc64_FPU_CONTEXT_H_
 
-#ifndef __ppc64_TYPES_H__
+#ifndef KERN_ppc64_TYPES_H_
 # include <arch/types.h>
 #endif
@@ -64,5 +64,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/interrupt.h
===================================================================
--- kernel/arch/ppc64/include/interrupt.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/interrupt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64interrupt
+/** @addtogroup ppc64interrupt
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_INTERRUPT_H__
-#define __ppc64_INTERRUPT_H__
+#ifndef KERN_ppc64_INTERRUPT_H_
+#define KERN_ppc64_INTERRUPT_H_
 
 #include <arch/exception.h>
@@ -49,5 +49,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/memstr.h
===================================================================
--- kernel/arch/ppc64/include/memstr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/memstr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_MEMSTR_H__
-#define __ppc64_MEMSTR_H__
+#ifndef KERN_ppc64_MEMSTR_H_
+#define KERN_ppc64_MEMSTR_H_
 
 #define memcpy(dst, src, cnt)  __builtin_memcpy((dst), (src), (cnt))
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/mm/as.h
===================================================================
--- kernel/arch/ppc64/include/mm/as.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_AS_H__
-#define __ppc64_AS_H__
+#ifndef KERN_ppc64_AS_H_
+#define KERN_ppc64_AS_H_
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	0
@@ -51,5 +51,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/mm/asid.h
===================================================================
--- kernel/arch/ppc64/include/mm/asid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/mm/asid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_ASID_H__
-#define __ppc64_ASID_H__
+#ifndef KERN_ppc64_ASID_H_
+#define KERN_ppc64_ASID_H_
 
 typedef int asid_t;
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/mm/frame.h
===================================================================
--- kernel/arch/ppc64/include/mm/frame.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/mm/frame.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_FRAME_H__
-#define __ppc64_FRAME_H__
+#ifndef KERN_ppc64_FRAME_H_
+#define KERN_ppc64_FRAME_H_
 
 #define FRAME_WIDTH		12	/* 4K */
@@ -53,5 +53,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/mm/memory_init.h
===================================================================
--- kernel/arch/ppc64/include/mm/memory_init.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/mm/memory_init.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_MEMORY_INIT_H__
-#define __ppc64_MEMORY_INIT_H__
+#ifndef KERN_ppc64_MEMORY_INIT_H_
+#define KERN_ppc64_MEMORY_INIT_H_
 
 #include <typedefs.h>
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/mm/page.h
===================================================================
--- kernel/arch/ppc64/include/mm/page.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/mm/page.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_PAGE_H__
-#define __ppc64_PAGE_H__
+#ifndef KERN_ppc64_PAGE_H_
+#define KERN_ppc64_PAGE_H_
 
 #include <arch/mm/frame.h>
@@ -159,5 +159,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/mm/tlb.h
===================================================================
--- kernel/arch/ppc64/include/mm/tlb.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/mm/tlb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -33,11 +33,9 @@
  */
 
-#ifndef __ppc64_TLB_H__
-#define __ppc64_TLB_H__
-
+#ifndef KERN_ppc64_TLB_H_
+#define KERN_ppc64_TLB_H_
 
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/proc/task.h
===================================================================
--- kernel/arch/ppc64/include/proc/task.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/proc/task.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64proc
+/** @addtogroup ppc64proc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_TASK_H__
-#define __ppc64_TASK_H__
+#ifndef KERN_ppc64_TASK_H_
+#define KERN_ppc64_TASK_H_
 
 typedef struct {
@@ -44,5 +44,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/include/proc/thread.h
===================================================================
--- kernel/arch/ppc64/include/proc/thread.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/proc/thread.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -47,3 +47,2 @@
 /** @}
  */
-
Index: kernel/arch/ppc64/include/types.h
===================================================================
--- kernel/arch/ppc64/include/types.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/include/types.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64	
+/** @addtogroup ppc64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ppc64_TYPES_H__
-#define __ppc64_TYPES_H__
+#ifndef KERN_ppc64_TYPES_H_
+#define KERN_ppc64_TYPES_H_
 
 #define NULL 0
@@ -66,5 +66,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/ddi/ddi.c
===================================================================
--- kernel/arch/ppc64/src/ddi/ddi.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/src/ddi/ddi.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64ddi
+/** @addtogroup ppc64ddi
  * @{
  */
@@ -53,5 +53,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/interrupt.c
===================================================================
--- kernel/arch/ppc64/src/interrupt.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/src/interrupt.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64interrupt
+/** @addtogroup ppc64interrupt
  * @{
  */
@@ -72,5 +72,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/mm/frame.c
===================================================================
--- kernel/arch/ppc64/src/mm/frame.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/src/mm/frame.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -68,5 +68,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/mm/memory_init.c
===================================================================
--- kernel/arch/ppc64/src/mm/memory_init.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/src/mm/memory_init.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -53,5 +53,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/ppc64/src/mm/page.c
===================================================================
--- kernel/arch/ppc64/src/mm/page.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/src/mm/page.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64mm	
+/** @addtogroup ppc64mm	
  * @{
  */
@@ -304,5 +304,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/arch/ppc64/src/proc/scheduler.c
===================================================================
--- kernel/arch/ppc64/src/proc/scheduler.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/ppc64/src/proc/scheduler.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc64proc
+/** @addtogroup ppc64proc
  * @{
  */
@@ -60,5 +60,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/sparc64/Makefile.inc
===================================================================
--- kernel/arch/sparc64/Makefile.inc	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/Makefile.inc	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -78,5 +78,4 @@
 	DEFS += -DKBD_ADDR_OVRD=0x1fff13083f8ULL
 	
-	DEFS += -DFB_INVERT_COLORS
 endif
 
Index: kernel/arch/sparc64/include/atomic.h
===================================================================
--- kernel/arch/sparc64/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -51,17 +51,12 @@
 {
 	uint64_t a, b;
-	volatile uint64_t x = (uint64_t) &val->count;
 
-	__asm__ volatile (
-		"0:\n"
-		"ldx %0, %1\n"
-		"add %1, %3, %2\n"
-		"casx %0, %1, %2\n"
-		"cmp %1, %2\n"
-		"bne 0b\n"		/* The operation failed and must be attempted again if a != b. */
-		"nop\n"
-		: "=m" (*((uint64_t *)x)), "=r" (a), "=r" (b)
-		: "r" (i)
-	);
+	do {
+		volatile uintptr_t x = (uint64_t) &val->count;
+
+		a = *((uint64_t *) x);
+		b = a + i;
+		__asm__ volatile ("casx %0, %1, %2\n": "+m" (*((uint64_t *)x)), "+r" (a), "+r" (b));
+	} while (a != b);
 
 	return a;
Index: kernel/arch/sparc64/include/context_offset.h
===================================================================
--- kernel/arch/sparc64/include/context_offset.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/include/context_offset.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -20,3 +20,2 @@
 #define OFFSET_L7       0x88
 #define OFFSET_CLEANWIN 0x98
-
Index: kernel/arch/sparc64/include/trap/trap_table.h
===================================================================
--- kernel/arch/sparc64/include/trap/trap_table.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/include/trap/trap_table.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -107,3 +107,2 @@
 /** @}
  */
-
Index: kernel/arch/sparc64/src/console.c
===================================================================
--- kernel/arch/sparc64/src/console.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/src/console.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -116,4 +116,5 @@
 #endif
 }
+
 /** @}
  */
Index: kernel/arch/sparc64/src/mm/as.c
===================================================================
--- kernel/arch/sparc64/src/mm/as.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/src/mm/as.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -63,3 +63,2 @@
 /** @}
  */
-
Index: kernel/arch/sparc64/src/mm/page.c
===================================================================
--- kernel/arch/sparc64/src/mm/page.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/src/mm/page.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -91,5 +91,5 @@
 		order = 0;
 	else
-		order = (fnzb32(size - 1) + 1) - FRAME_WIDTH;
+		order = (fnzb64(size - 1) + 1) - FRAME_WIDTH;
 
 	/*
Index: kernel/arch/sparc64/src/trap/syscall.c
===================================================================
--- kernel/arch/sparc64/src/trap/syscall.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/src/trap/syscall.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -43,8 +43,5 @@
 unative_t syscall(int n, istate_t *istate, unative_t a1, unative_t a2, unative_t a3, unative_t a4)
 {
-	if (n >= TT_TRAP_INSTRUCTION(0) && n <= TT_TRAP_INSTRUCTION_LAST)
-		return syscall_table[n - TT_TRAP_INSTRUCTION(0)](a1, a2, a3, a4);
-	else
-		panic("Undefined syscall %d\n", n - TT_TRAP_INSTRUCTION(0));
+	return syscall_handler(a1, a2, a3, a4, n - TT_TRAP_INSTRUCTION(0));
 }
 
Index: kernel/arch/sparc64/src/trap/trap.c
===================================================================
--- kernel/arch/sparc64/src/trap/trap.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/sparc64/src/trap/trap.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -54,3 +54,2 @@
 /** @}
  */
-
Index: kernel/arch/xen32/include/asm.h
===================================================================
--- kernel/arch/xen32/include/asm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/asm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -35,6 +35,6 @@
  */
 
-#ifndef __xen32_ASM_H__
-#define __xen32_ASM_H__
+#ifndef KERN_xen32_ASM_H_
+#define KERN_xen32_ASM_H_
 
 #include <arch/pm.h>
Index: kernel/arch/xen32/include/boot/boot.h
===================================================================
--- kernel/arch/xen32/include/boot/boot.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/boot/boot.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __xen32_BOOT_H__
-#define __xen32_BOOT_H__
+#ifndef KERN_xen32_BOOT_H_
+#define KERN_xen32_BOOT_H_
 
 #define GUEST_CMDLINE	1024
Index: kernel/arch/xen32/include/drivers/xconsole.h
===================================================================
--- kernel/arch/xen32/include/drivers/xconsole.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/drivers/xconsole.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __XCONSOLE_H__
-#define __XCONSOLE_H__
+#ifndef KERN_xen32_XCONSOLE_H_
+#define KERN_xen32_XCONSOLE_H_
 
 #include <arch/types.h>
Index: kernel/arch/xen32/include/hypercall.h
===================================================================
--- kernel/arch/xen32/include/hypercall.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/hypercall.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,13 +27,11 @@
  */
 
-#ifndef __xen32_HYPERCALL_H__
-#define __xen32_HYPERCALL_H__
+#ifndef KERN_xen32_HYPERCALL_H_
+#define KERN_xen32_HYPERCALL_H_
 
 #include <arch/types.h>
 #include <macros.h>
 
-
 typedef uint16_t domid_t;
-
 
 typedef struct {
Index: kernel/arch/xen32/include/mm/as.h
===================================================================
--- kernel/arch/xen32/include/mm/as.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __xen32_AS_H__
-#define __xen32_AS_H__
+#ifndef KERN_xen32_AS_H_
+#define KERN_xen32_AS_H_
 
 #define KERNEL_ADDRESS_SPACE_SHADOWED_ARCH	0
Index: kernel/arch/xen32/include/mm/asid.h
===================================================================
--- kernel/arch/xen32/include/mm/asid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/mm/asid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -40,6 +40,6 @@
  */
 
-#ifndef __xen32_ASID_H__
-#define __xen32_ASID_H__
+#ifndef KERN_xen32_ASID_H_
+#define KERN_xen32_ASID_H_
 
 typedef int asid_t;
Index: kernel/arch/xen32/include/mm/frame.h
===================================================================
--- kernel/arch/xen32/include/mm/frame.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/mm/frame.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __xen32_FRAME_H__
-#define __xen32_FRAME_H__
+#ifndef KERN_xen32_FRAME_H_
+#define KERN_xen32_FRAME_H_
 
 #define FRAME_WIDTH	12	/* 4K */
Index: kernel/arch/xen32/include/mm/memory_init.h
===================================================================
--- kernel/arch/xen32/include/mm/memory_init.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/mm/memory_init.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -34,6 +34,6 @@
  */
 
-#ifndef __xen32_MEMORY_INIT_H__
-#define __xen32_MEMORY_INIT_H__
+#ifndef KERN_xen32_MEMORY_INIT_H_
+#define KERN_xen32_MEMORY_INIT_H_
 
 #include <typedefs.h>
Index: kernel/arch/xen32/include/mm/page.h
===================================================================
--- kernel/arch/xen32/include/mm/page.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/mm/page.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __xen32_PAGE_H__
-#define __xen32_PAGE_H__
+#ifndef KERN_xen32_PAGE_H_
+#define KERN_xen32_PAGE_H_
 
 #include <arch/mm/frame.h>
Index: kernel/arch/xen32/include/mm/tlb.h
===================================================================
--- kernel/arch/xen32/include/mm/tlb.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/mm/tlb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __xen32_TLB_H__
-#define __xen32_TLB_H__
+#ifndef KERN_xen32_TLB_H_
+#define KERN_xen32_TLB_H_
 
 #define tlb_arch_init()
Index: kernel/arch/xen32/include/pm.h
===================================================================
--- kernel/arch/xen32/include/pm.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/pm.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PM_H__
-#define __PM_H__
+#ifndef KERN_xen32_PM_H_
+#define KERN_xen32_PM_H_
 
 #define IDT_ITEMS 64
Index: kernel/arch/xen32/include/types.h
===================================================================
--- kernel/arch/xen32/include/types.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/include/types.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __TYPES_H__
-#define __TYPES_H__
+#ifndef KERN_xen32_TYPES_H_
+#define KERN_xen32_TYPES_H_
 
 #define NULL 0
Index: kernel/arch/xen32/src/interrupt.c
===================================================================
--- kernel/arch/xen32/src/interrupt.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/src/interrupt.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -207,3 +207,2 @@
 /** @}
  */
-
Index: kernel/arch/xen32/src/mm/memory_init.c
===================================================================
--- kernel/arch/xen32/src/mm/memory_init.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/arch/xen32/src/mm/memory_init.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -49,5 +49,4 @@
 }
 
-
 /** @}
  */
Index: kernel/genarch/include/acpi/acpi.h
===================================================================
--- kernel/genarch/include/acpi/acpi.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ 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 e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/genarch/src/softint/division.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -192,7 +192,4 @@
 }
 
-
-
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/adt/bitmap.h
===================================================================
--- kernel/generic/include/adt/bitmap.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/adt/bitmap.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericadt
+/** @addtogroup genericadt
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __BITMAP_H__
-#define __BITMAP_H__
+#ifndef KERN_BITMAP_H_
+#define KERN_BITMAP_H_
 
 #include <arch/types.h>
@@ -53,5 +53,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/adt/btree.h
===================================================================
--- kernel/generic/include/adt/btree.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/adt/btree.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericadt
+/** @addtogroup genericadt
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __BTREE_H__
-#define __BTREE_H__
+#ifndef KERN_BTREE_H_
+#define KERN_BTREE_H_
 
 #include <arch/types.h>
@@ -100,5 +100,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/adt/fifo.h
===================================================================
--- kernel/generic/include/adt/fifo.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/adt/fifo.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericadt
+/** @addtogroup genericadt
  * @{
  */
@@ -43,6 +43,6 @@
  */
 
-#ifndef __FIFO_H__
-#define __FIFO_H__
+#ifndef KERN_FIFO_H_
+#define KERN_FIFO_H_
 
 #include <typedefs.h>
@@ -119,5 +119,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/adt/list.h
===================================================================
--- kernel/generic/include/adt/list.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/adt/list.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericadt
+/** @addtogroup genericadt
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __LIST_H__
-#define __LIST_H__
+#ifndef KERN_LIST_H_
+#define KERN_LIST_H_
 
 #include <arch/types.h>
@@ -183,5 +183,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/atomic.h
===================================================================
--- kernel/generic/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ATOMIC_H__
-#define __ATOMIC_H__
+#ifndef KERN_ATOMIC_H_
+#define KERN_ATOMIC_H_
 
 typedef struct atomic {
Index: kernel/generic/include/bitops.h
===================================================================
--- kernel/generic/include/bitops.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/bitops.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef _BITOPS_H_
-#define _BITOPS_H_
+#ifndef KERN_BITOPS_H_
+#define KERN_BITOPS_H_
 
 #include <typedefs.h>
Index: kernel/generic/include/byteorder.h
===================================================================
--- kernel/generic/include/byteorder.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/byteorder.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __BYTEORDER_H__
-#define __BYTEORDER_H__
+#ifndef KERN_BYTEORDER_H_
+#define KERN_BYTEORDER_H_
 
 static inline uint64_t uint64_t_byteorder_swap(uint64_t n)
Index: kernel/generic/include/config.h
===================================================================
--- kernel/generic/include/config.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/config.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CONFIG_H__
-#define __CONFIG_H__
+#ifndef KERN_CONFIG_H_
+#define KERN_CONFIG_H_
 
 #include <arch/types.h>
Index: kernel/generic/include/console/chardev.h
===================================================================
--- kernel/generic/include/console/chardev.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/console/chardev.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CHARDEV_H__
-#define __CHARDEV_H__
+#ifndef KERN_CHARDEV_H_
+#define KERN_CHARDEV_H_
 
 #include <typedefs.h>
@@ -72,7 +72,6 @@
 extern void chardev_push_character(chardev_t *chardev, uint8_t ch);
 
-#endif /* __CHARDEV_H__ */
+#endif /* KERN_CHARDEV_H_ */
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/console/cmd.h
===================================================================
--- kernel/generic/include/console/cmd.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/console/cmd.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CMD_H__
-#define __CMD_H__
+#ifndef KERN_CMD_H_
+#define KERN_CMD_H_
 
 #include <typedefs.h>
@@ -43,5 +43,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/console/console.h
===================================================================
--- kernel/generic/include/console/console.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/console/console.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CONSOLE_H__
-#define __CONSOLE_H__
+#ifndef KERN_CONSOLE_H_
+#define KERN_CONSOLE_H_
 
 #include <arch/types.h>
@@ -50,7 +50,6 @@
 extern void arch_release_console(void);
 
-#endif /* __CHARDEV_H__ */
+#endif /* KERN_CONSOLE_H_ */
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/console/kconsole.h
===================================================================
--- kernel/generic/include/console/kconsole.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/console/kconsole.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __KCONSOLE_H__
-#define __KCONSOLE_H__
+#ifndef KERN_KCONSOLE_H_
+#define KERN_KCONSOLE_H_
 
 #include <typedefs.h>
@@ -81,5 +81,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/console/klog.h
===================================================================
--- kernel/generic/include/console/klog.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/console/klog.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericklog
+/** @addtogroup genericklog
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef _KLOG_H_
-#define _KLOG_H_
+#ifndef KERN_KLOG_H_
+#define KERN_KLOG_H_
 
 void klog_init(void);
@@ -41,5 +41,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/context.h
===================================================================
--- kernel/generic/include/context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CONTEXT_H__
-#define __CONTEXT_H__
+#ifndef KERN_CONTEXT_H_
+#define KERN_CONTEXT_H_
 
 #include <arch/types.h>
Index: kernel/generic/include/ddi/ddi.h
===================================================================
--- kernel/generic/include/ddi/ddi.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/ddi/ddi.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericddi
+/** @addtogroup genericddi
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __DDI_H__
-#define __DDI_H__
+#ifndef KERN_DDI_H_
+#define KERN_DDI_H_
 
 #include <ddi/ddi_arg.h>
@@ -52,5 +52,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/ddi/ddi_arg.h
===================================================================
--- kernel/generic/include/ddi/ddi_arg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/ddi/ddi_arg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericddi
+/** @addtogroup genericddi
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __DDI_ARG_H__
-#define __DDI_ARG_H__
+#ifndef KERN_DDI_ARG_H_
+#define KERN_DDI_ARG_H_
 
 /** Structure encapsulating arguments for SYS_MAP_PHYSMEM syscall. */
@@ -54,5 +54,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/debug.h
===================================================================
--- kernel/generic/include/debug.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/debug.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __DEBUG_H__
-#define __DEBUG_H__
+#ifndef KERN_DEBUG_H_
+#define KERN_DEBUG_H_
 
 #include <panic.h>
Index: kernel/generic/include/elf.h
===================================================================
--- kernel/generic/include/elf.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/elf.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ELF_H__
-#define __ELF_H__
+#ifndef KERN_ELF_H_
+#define KERN_ELF_H_
 
 #include <arch/elf.h>
Index: kernel/generic/include/errno.h
===================================================================
--- kernel/generic/include/errno.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/errno.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ERRNO_H__
-#define __ERRNO_H__
+#ifndef KERN_ERRNO_H_
+#define KERN_ERRNO_H_
 
 /* 1-255 are kernel error codes, 256-512 are user error codes */
Index: kernel/generic/include/fpu_context.h
===================================================================
--- kernel/generic/include/fpu_context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/fpu_context.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __FPU_CONTEXT_H__
-#define __FPU_CONTEXT_H__
+#ifndef KERN_FPU_CONTEXT_H_
+#define KERN_FPU_CONTEXT_H_
 
 #include <arch/fpu_context.h>
@@ -49,7 +49,5 @@
 extern void fpu_disable(void);
 
-
-#endif /* __FPU_CONTEXT_H__ */
-
+#endif /* KERN_FPU_CONTEXT_H_ */
 
 /** @}
Index: kernel/generic/include/func.h
===================================================================
--- kernel/generic/include/func.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/func.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __FUNC_H__
-#define __FUNC_H__
+#ifndef KERN_FUNC_H_
+#define KERN_FUNC_H_
 
 #include <arch/types.h>
Index: kernel/generic/include/interrupt.h
===================================================================
--- kernel/generic/include/interrupt.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/interrupt.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __INTERRUPT_H__
-#define __INTERRUPT_H__
+#ifndef KERN_INTERRUPT_H_
+#define KERN_INTERRUPT_H_
 
 #include <arch/interrupt.h>
Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/ipc/ipc.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericipc
+/** @addtogroup genericipc
  * @{
  */
@@ -167,5 +167,5 @@
 	unative_t args[IPC_CALL_LEN];
 	phone_t *phone;
-}ipc_data_t;
+} ipc_data_t;
 
 struct answerbox_s {
@@ -218,5 +218,5 @@
 
 	ipc_data_t data;  /**< Data passed from/to userspace */
-}call_t;
+} call_t;
 
 extern void ipc_init(void);
Index: kernel/generic/include/ipc/ipcrsc.h
===================================================================
--- kernel/generic/include/ipc/ipcrsc.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/ipc/ipcrsc.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericipc
+/** @addtogroup genericipc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __IPCRSC_H__
-#define __IPCRSC_H__
+#ifndef KERN_IPCRSC_H_
+#define KERN_IPCRSC_H_
 
 call_t * get_call(unative_t callid);
@@ -43,5 +43,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/ipc/irq.h
===================================================================
--- kernel/generic/include/ipc/irq.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/ipc/irq.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericipc
+/** @addtogroup genericipc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __IRQ_H__
-#define __IRQ_H__
+#ifndef KERN_IRQ_H_
+#define KERN_IRQ_H_
 
 /** Maximum length of IPC IRQ program */
@@ -89,5 +89,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/ipc/sysipc.h
===================================================================
--- kernel/generic/include/ipc/sysipc.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/ipc/sysipc.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericipc
+/** @addtogroup genericipc
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SYSIPC_H__
-#define __SYSIPC_H__
+#ifndef KERN_SYSIPC_H_
+#define KERN_SYSIPC_H_
 
 #include <ipc/ipc.h>
@@ -59,5 +59,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/main/kinit.h
===================================================================
--- kernel/generic/include/main/kinit.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/main/kinit.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __KINIT_H__
-#define __KINIT_H__
+#ifndef KERN_KINIT_H_
+#define KERN_KINIT_H_
 
 extern void kinit(void *arg);
@@ -40,5 +40,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/main/main.h
===================================================================
--- kernel/generic/include/main/main.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/main/main.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
  
-#ifndef __MAIN_H__
-#define __MAIN_H__
+#ifndef KERN_MAIN_H_
+#define KERN_MAIN_H_
 
 #include <typedefs.h>
Index: kernel/generic/include/main/uinit.h
===================================================================
--- kernel/generic/include/main/uinit.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/main/uinit.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __UINIT_H__
-#define __UINIT_H__
+#ifndef KERN_UINIT_H_
+#define KERN_UINIT_H_
 
 #include <arch/types.h>
@@ -42,5 +42,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/main/version.h
===================================================================
--- kernel/generic/include/main/version.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/main/version.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __VERSION_H__
-#define __VERSION_H__
+#ifndef KERN_VERSION_H_
+#define KERN_VERSION_H_
 
 extern void version_print(void);
@@ -40,5 +40,5 @@
 #endif
 
- /** @}
+/** @}
  */
 
Index: kernel/generic/include/memstr.h
===================================================================
--- kernel/generic/include/memstr.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/memstr.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __MEMSTR_H__
-#define __MEMSTR_H__
+#ifndef KERN_MEMSTR_H_
+#define KERN_MEMSTR_H_
 
 #include <typedefs.h>
Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/mm/as.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __AS_H__
-#define __AS_H__
+#ifndef KERN_AS_H_
+#define KERN_AS_H_
 
 /** Address space area flags. */
Index: kernel/generic/include/mm/asid.h
===================================================================
--- kernel/generic/include/mm/asid.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/mm/asid.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericmm
+/** @addtogroup genericmm
  * @{
  */
@@ -38,6 +38,6 @@
  */
 
-#ifndef __ASID_H__
-#define __ASID_H__
+#ifndef KERN_ASID_H_
+#define KERN_ASID_H_
 
 #ifndef __ASM__
@@ -84,6 +84,4 @@
 #endif
 
-
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/mm/buddy.h
===================================================================
--- kernel/generic/include/mm/buddy.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/mm/buddy.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericmm
+/** @addtogroup genericmm
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __BUDDY_H__
-#define __BUDDY_H__
+#ifndef KERN_BUDDY_H_
+#define KERN_BUDDY_H_
 
 #include <arch/types.h>
@@ -56,8 +56,8 @@
 
 struct buddy_system {
-	uint8_t max_order;				/**< Maximal order of block which can be stored by buddy system. */
+	uint8_t max_order;		/**< Maximal order of block which can be stored by buddy system. */
 	link_t *order;
 	buddy_system_operations_t *op;
-	void *data;				/**< Pointer to be used by the implementation. */
+	void *data;			/**< Pointer to be used by the implementation. */
 };
 
@@ -74,5 +74,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/mm/page.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericmm
+/** @addtogroup genericmm
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PAGE_H__
-#define __PAGE_H__
+#ifndef KERN_PAGE_H_
+#define KERN_PAGE_H_
 
 #include <arch/mm/asid.h>
@@ -98,5 +98,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/mm/slab.h
===================================================================
--- kernel/generic/include/mm/slab.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/mm/slab.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericmm
+/** @addtogroup genericmm
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SLAB_H__
-#define __SLAB_H__
+#ifndef KERN_SLAB_H_
+#define KERN_SLAB_H_
 
 #include <adt/list.h>
@@ -136,5 +136,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/mm/tlb.h
===================================================================
--- kernel/generic/include/mm/tlb.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/mm/tlb.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericmm
+/** @addtogroup genericmm
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __TLB_H__
-#define __TLB_H__
+#ifndef KERN_TLB_H_
+#define KERN_TLB_H_
 
 #include <arch/mm/asid.h>
@@ -76,5 +76,4 @@
 #endif /* CONFIG_SMP */
 
-
 /* Export TLB interface that each architecture must implement. */
 extern void tlb_arch_init(void);
@@ -87,5 +86,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/panic.h
===================================================================
--- kernel/generic/include/panic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/panic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PANIC_H__
-#define __PANIC_H__
+#ifndef KERN_PANIC_H_
+#define KERN_PANIC_H_
 
 #ifdef CONFIG_DEBUG
Index: kernel/generic/include/preemption.h
===================================================================
--- kernel/generic/include/preemption.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/preemption.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PREEMPTION_H__
-#define __PREEMPTION_H__
+#ifndef KERN_PREEMPTION_H_
+#define KERN_PREEMPTION_H_
 
 extern void preemption_disable(void);
Index: kernel/generic/include/print.h
===================================================================
--- kernel/generic/include/print.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/print.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PRINT_H__
-#define __PRINT_H__
+#ifndef KERN_PRINT_H_
+#define KERN_PRINT_H_
 
 #include <arch/types.h>
Index: kernel/generic/include/printf/printf_core.h
===================================================================
--- kernel/generic/include/printf/printf_core.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/printf/printf_core.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PRINTF_CORE_H__
-#define __PRINTF_CORE_H__
+#ifndef KERN_PRINTF_CORE_H_
+#define KERN_PRINTF_CORE_H_
 
 #include <typedefs.h>
@@ -52,5 +52,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/proc/scheduler.h
===================================================================
--- kernel/generic/include/proc/scheduler.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/proc/scheduler.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SCHEDULER_H__
-#define __SCHEDULER_H__
+#ifndef KERN_SCHEDULER_H_
+#define KERN_SCHEDULER_H_
 
 #include <synch/spinlock.h>
Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/proc/task.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __TASK_H__
-#define __TASK_H__
+#ifndef KERN_TASK_H_
+#define KERN_TASK_H_
 
 #include <typedefs.h>
@@ -108,5 +108,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/proc/thread.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __THREAD_H__
-#define __THREAD_H__
+#ifndef KERN_THREAD_H_
+#define KERN_THREAD_H_
 
 #include <arch/proc/thread.h>
Index: kernel/generic/include/proc/uarg.h
===================================================================
--- kernel/generic/include/proc/uarg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/proc/uarg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __UARG_H__
-#define __UARG_H__
+#ifndef KERN_UARG_H_
+#define KERN_UARG_H_
 
 /** Structure passed to uinit kernel thread as argument. */
Index: kernel/generic/include/putchar.h
===================================================================
--- kernel/generic/include/putchar.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/putchar.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PUTCHAR_H__
-#define __PUTCHAR_H__
+#ifndef KERN_PUTCHAR_H_
+#define KERN_PUTCHAR_H_
 
 extern void putchar(const char ch);
Index: kernel/generic/include/security/cap.h
===================================================================
--- kernel/generic/include/security/cap.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/security/cap.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic 
+/** @addtogroup generic 
  * @{
  */
@@ -90,5 +90,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/smp/ipi.h
===================================================================
--- kernel/generic/include/smp/ipi.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/smp/ipi.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __IPI_H__
-#define __IPI_H__
+#ifndef KERN_IPI_H_
+#define KERN_IPI_H_
 
 #ifdef CONFIG_SMP
@@ -45,5 +45,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/smp/smp.h
===================================================================
--- kernel/generic/include/smp/smp.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/smp/smp.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SMP_H__
-#define __SMP_H__
+#ifndef KERN_SMP_H_
+#define KERN_SMP_H_
 
 #ifdef CONFIG_SMP
@@ -44,5 +44,4 @@
 #endif /* __SMP_H__ */
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/sort.h
===================================================================
--- kernel/generic/include/sort.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/sort.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SORT_H__
-#define __SORT_H__
+#ifndef KERN_SORT_H_
+#define KERN_SORT_H_
 
 #include <arch/types.h>
Index: kernel/generic/include/stackarg.h
===================================================================
--- kernel/generic/include/stackarg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/stackarg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,5 +33,4 @@
  */
 
-
 /*
  * Variable argument list manipulation macros
@@ -39,6 +38,6 @@
  */
  
-#ifndef __STACKARG_H__
-#define __STACKARG_H__
+#ifndef KERN_STACKARG_H_
+#define KERN_STACKARG_H_
 
 #include <arch/types.h>
Index: kernel/generic/include/stdarg.h
===================================================================
--- kernel/generic/include/stdarg.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/stdarg.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,5 +33,4 @@
  */
 
-
 /*
  * Variable argument list manipulation macros
@@ -39,6 +38,6 @@
  */
  
-#ifndef __STDARG_H__
-#define __STDARG_H__
+#ifndef KERN_STDARG_H_
+#define KERN_STDARG_H_
 
 typedef __builtin_va_list va_list;
Index: kernel/generic/include/symtab.h
===================================================================
--- kernel/generic/include/symtab.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/symtab.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SYMTAB_H__
-#define __SYMTAB_H__
+#ifndef KERN_SYMTAB_H_
+#define KERN_SYMTAB_H_
 
 #include <arch/types.h>
Index: kernel/generic/include/synch/condvar.h
===================================================================
--- kernel/generic/include/synch/condvar.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/synch/condvar.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CONDVAR_H__
-#define __CONDVAR_H__
+#ifndef KERN_CONDVAR_H_
+#define KERN_CONDVAR_H_
 
 #include <arch/types.h>
@@ -57,5 +57,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/synch/futex.h
===================================================================
--- kernel/generic/include/synch/futex.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/synch/futex.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __FUTEX_H__
-#define __FUTEX_H__
+#ifndef KERN_FUTEX_H_
+#define KERN_FUTEX_H_
 
 #include <arch/types.h>
@@ -60,3 +60,2 @@
 /** @}
  */
-
Index: kernel/generic/include/synch/mutex.h
===================================================================
--- kernel/generic/include/synch/mutex.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/synch/mutex.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __MUTEX_H__
-#define __MUTEX_H__
+#ifndef KERN_MUTEX_H_
+#define KERN_MUTEX_H_
 
 #include <arch/types.h>
@@ -60,5 +60,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/synch/rwlock.h
===================================================================
--- kernel/generic/include/synch/rwlock.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/synch/rwlock.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __RWLOCK_H__
-#define __RWLOCK_H__
+#ifndef KERN_RWLOCK_H_
+#define KERN_RWLOCK_H_
 
 #include <arch/types.h>
@@ -75,6 +75,4 @@
 #endif
 
-
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/synch/semaphore.h
===================================================================
--- kernel/generic/include/synch/semaphore.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/synch/semaphore.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SEMAPHORE_H__
-#define __SEMAPHORE_H__
+#ifndef KERN_SEMAPHORE_H_
+#define KERN_SEMAPHORE_H_
 
 #include <arch/types.h>
@@ -59,6 +59,4 @@
 #endif
 
-
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/synch/spinlock.h
===================================================================
--- kernel/generic/include/synch/spinlock.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/synch/spinlock.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SPINLOCK_H__
-#define __SPINLOCK_H__
+#ifndef KERN_SPINLOCK_H_
+#define KERN_SPINLOCK_H_
 
 #include <arch/types.h>
@@ -117,5 +117,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/synch/synch.h
===================================================================
--- kernel/generic/include/synch/synch.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/synch/synch.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __SYNCH_H__
-#define __SYNCH_H__
+#ifndef KERN_SYNCH_H_
+#define KERN_SYNCH_H_
 
 #define SYNCH_NO_TIMEOUT	0	/**< Request with no timeout. */
@@ -53,5 +53,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/synch/waitq.h
===================================================================
--- kernel/generic/include/synch/waitq.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/synch/waitq.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sync
+/** @addtogroup sync
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __WAITQ_H__
-#define __WAITQ_H__
+#ifndef KERN_WAITQ_H_
+#define KERN_WAITQ_H_
 
 #include <arch/types.h>
@@ -72,5 +72,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/include/syscall/copy.h
===================================================================
--- kernel/generic/include/syscall/copy.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/syscall/copy.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __COPY_H__
-#define __COPY_H__
+#ifndef KERN_COPY_H_
+#define KERN_COPY_H_
 
 #include <typedefs.h>
Index: kernel/generic/include/syscall/sysarg64.h
===================================================================
--- kernel/generic/include/syscall/sysarg64.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/syscall/sysarg64.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -36,6 +36,6 @@
  */
 
-#ifndef __SYSARG64_H__
-#define __SYSARG64_H__
+#ifndef KERN_SYSARG64_H_
+#define KERN_SYSARG64_H_
 
 typedef struct {
Index: kernel/generic/include/sysinfo/sysinfo.h
===================================================================
--- kernel/generic/include/sysinfo/sysinfo.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/sysinfo/sysinfo.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,4 +33,7 @@
  */
 
+#ifndef KERN_SYSINFO_H_
+#define KERN_SYSINFO_H_
+
 #include <arch/types.h>
 
@@ -65,5 +68,4 @@
 #define SYSINFO_SUBINFO_FUNCTION 2
 
-
 typedef unative_t (*sysinfo_val_fn_t)(sysinfo_item_t *root);
 typedef unative_t (*sysinfo_subinfo_fn_t)(const char *subname);
@@ -84,4 +86,6 @@
 unative_t sys_sysinfo_value(unative_t ptr,unative_t len);
 
+#endif
+
 /** @}
  */
Index: kernel/generic/include/test.h
===================================================================
--- kernel/generic/include/test.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/test.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __TEST_H__
-#define __TEST_H__
+#ifndef KERN_TEST_H_
+#define KERN_TEST_H_
 
 extern void test(void);
Index: kernel/generic/include/userspace.h
===================================================================
--- kernel/generic/include/userspace.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/include/userspace.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __USERSPACE_H__
-#define __USERSPACE_H__
+#ifndef KERN_USERSPACE_H_
+#define KERN_USERSPACE_H_
 
 #include <proc/thread.h>
Index: kernel/generic/src/console/chardev.c
===================================================================
--- kernel/generic/src/console/chardev.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/console/chardev.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -75,5 +75,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/console/cmd.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -807,5 +807,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/console/console.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -28,5 +28,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -166,5 +166,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/console/kconsole.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericconsole
+/** @addtogroup genericconsole
  * @{
  */
@@ -627,5 +627,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/generic/src/console/klog.c
===================================================================
--- kernel/generic/src/console/klog.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/console/klog.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericklog
+/** @addtogroup genericklog
  * @{
  */
@@ -106,5 +106,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/src/ddi/ddi.c
===================================================================
--- kernel/generic/src/ddi/ddi.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/ddi/ddi.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericddi
+/** @addtogroup genericddi
  * @{
  */
@@ -206,5 +206,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/generic/src/debug/symtab.c
===================================================================
--- kernel/generic/src/debug/symtab.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/debug/symtab.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genericdebug
+/** @addtogroup genericdebug
  * @{
  */
@@ -198,5 +198,4 @@
 }
 
- /** @}
- */
-
+/** @}
+ */
Index: kernel/generic/src/ipc/ipcrsc.c
===================================================================
--- kernel/generic/src/ipc/ipcrsc.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/ipc/ipcrsc.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -97,5 +97,5 @@
  *   to the calling task. All new calls through this phone
  *   get a EHUNGUP error code, the task is expected to
- *   send an sys_ipc_hangup after cleaning up it's internal structures.
+ *   send an sys_ipc_hangup after cleaning up its internal structures.
  *
  * Call forwarding
Index: kernel/generic/src/printf/printf.c
===================================================================
--- kernel/generic/src/printf/printf.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/printf/printf.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -49,6 +49,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/generic/src/printf/printf_core.c
===================================================================
--- kernel/generic/src/printf/printf_core.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/printf/printf_core.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -28,5 +28,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -497,10 +497,10 @@
 				++i;
 				switch (c = fmt[i]) {
-					case '#': flags |= __PRINTF_FLAG_PREFIX; break;
-					case '-': flags |= __PRINTF_FLAG_LEFTALIGNED; break;
-					case '+': flags |= __PRINTF_FLAG_SHOWPLUS; break;
-					case ' ': flags |= __PRINTF_FLAG_SPACESIGN; break;
-					case '0': flags |= __PRINTF_FLAG_ZEROPADDED; break;
-					default: end = 1;
+				case '#': flags |= __PRINTF_FLAG_PREFIX; break;
+				case '-': flags |= __PRINTF_FLAG_LEFTALIGNED; break;
+				case '+': flags |= __PRINTF_FLAG_SHOWPLUS; break;
+				case ' ': flags |= __PRINTF_FLAG_SPACESIGN; break;
+				case '0': flags |= __PRINTF_FLAG_ZEROPADDED; break;
+				default: end = 1;
 				};	
 				
@@ -546,27 +546,27 @@
 
 			switch (fmt[i++]) {
-				/** TODO: unimplemented qualifiers:
-				 * t ptrdiff_t - ISO C 99
-				 */
-				case 'h':	/* char or short */
-					qualifier = PrintfQualifierShort;
-					if (fmt[i] == 'h') {
-						i++;
-						qualifier = PrintfQualifierByte;
-					}
-					break;
-				case 'l':	/* long or long long*/
-					qualifier = PrintfQualifierLong;
-					if (fmt[i] == 'l') {
-						i++;
-						qualifier = PrintfQualifierLongLong;
-					}
-					break;
-				case 'z':	/* unative_t */
-					qualifier = PrintfQualifierNative;
-					break;
-				default:
-					qualifier = PrintfQualifierInt; /* default type */
-					--i;
+			/** TODO: unimplemented qualifiers:
+			 * t ptrdiff_t - ISO C 99
+			 */
+			case 'h':	/* char or short */
+				qualifier = PrintfQualifierShort;
+				if (fmt[i] == 'h') {
+					i++;
+					qualifier = PrintfQualifierByte;
+				}
+				break;
+			case 'l':	/* long or long long*/
+				qualifier = PrintfQualifierLong;
+				if (fmt[i] == 'l') {
+					i++;
+					qualifier = PrintfQualifierLongLong;
+				}
+				break;
+			case 'z':	/* unative_t */
+				qualifier = PrintfQualifierNative;
+				break;
+			default:
+				qualifier = PrintfQualifierInt; /* default type */
+				--i;
 			}	
 			
@@ -575,66 +575,66 @@
 			switch (c = fmt[i]) {
 
-				/*
-				* String and character conversions.
-				*/
-				case 's':
-					if ((retval = print_string(va_arg(ap, char*), width, precision, flags, ps)) < 0) {
-						counter = -counter;
-						goto out;
-					};
+			/*
+			* String and character conversions.
+			*/
+			case 's':
+				if ((retval = print_string(va_arg(ap, char*), width, precision, flags, ps)) < 0) {
+					counter = -counter;
+					goto out;
+				};
+
+				counter += retval;
+				j = i + 1; 
+				goto next_char;
+			case 'c':
+				c = va_arg(ap, unsigned int);
+				if ((retval = print_char(c, width, flags, ps)) < 0) {
+					counter = -counter;
+					goto out;
+				};
 					
-					counter += retval;
-					j = i + 1; 
-					goto next_char;
-				case 'c':
-					c = va_arg(ap, unsigned int);
-					if ((retval = print_char(c, width, flags, ps)) < 0) {
-						counter = -counter;
-						goto out;
-					};
-					
-					counter += retval;
-					j = i + 1;
-					goto next_char;
-
-				/* 
-				 * Integer values
-				*/
-				case 'P': /* pointer */
-				       	flags |= __PRINTF_FLAG_BIGCHARS;
-				case 'p':
-					flags |= __PRINTF_FLAG_PREFIX;
-					base = 16;
-					qualifier = PrintfQualifierPointer;
-					break;	
-				case 'b': 
-					base = 2;
-					break;
-				case 'o':
-					base = 8;
-					break;
-				case 'd':
-				case 'i':
-					flags |= __PRINTF_FLAG_SIGNED;  
-				case 'u':
-					break;
-				case 'X':
-					flags |= __PRINTF_FLAG_BIGCHARS;
-				case 'x':
-					base = 16;
-					break;
-				/* percentile itself */
-				case '%': 
-					j = i;
-					goto next_char;
-				/*
-				* Bad formatting.
-				*/
-				default:
-					/* Unknown format
-					 *  now, the j is index of '%' so we will
-					 * print whole bad format sequence
-					 */
-					goto next_char;		
+				counter += retval;
+				j = i + 1;
+				goto next_char;
+
+			/* 
+			 * Integer values
+			 */
+			case 'P': /* pointer */
+			       	flags |= __PRINTF_FLAG_BIGCHARS;
+			case 'p':
+				flags |= __PRINTF_FLAG_PREFIX;
+				base = 16;
+				qualifier = PrintfQualifierPointer;
+				break;	
+			case 'b': 
+				base = 2;
+				break;
+			case 'o':
+				base = 8;
+				break;
+			case 'd':
+			case 'i':
+				flags |= __PRINTF_FLAG_SIGNED;  
+			case 'u':
+				break;
+			case 'X':
+				flags |= __PRINTF_FLAG_BIGCHARS;
+			case 'x':
+				base = 16;
+				break;
+			/* percentile itself */
+			case '%': 
+				j = i;
+				goto next_char;
+			/*
+			 * Bad formatting.
+			 */
+			default:
+				/* Unknown format
+				 * now, j is index of '%' so we will
+				 * print whole bad format sequence
+				 */
+				goto next_char;		
 			}
 		
@@ -643,35 +643,35 @@
 			/* print number */
 			switch (qualifier) {
-				case PrintfQualifierByte:
-					size = sizeof(unsigned char);
-					number = (uint64_t)va_arg(ap, unsigned int);
-					break;
-				case PrintfQualifierShort:
-					size = sizeof(unsigned short);
-					number = (uint64_t)va_arg(ap, unsigned int);
-					break;
-				case PrintfQualifierInt:
-					size = sizeof(unsigned int);
-					number = (uint64_t)va_arg(ap, unsigned int);
-					break;
-				case PrintfQualifierLong:
-					size = sizeof(unsigned long);
-					number = (uint64_t)va_arg(ap, unsigned long);
-					break;
-				case PrintfQualifierLongLong:
-					size = sizeof(unsigned long long);
-					number = (uint64_t)va_arg(ap, unsigned long long);
-					break;
-				case PrintfQualifierPointer:
-					size = sizeof(void *);
-					number = (uint64_t)(unsigned long)va_arg(ap, void *);
-					break;
-				case PrintfQualifierNative:
-					size = sizeof(unative_t);
-					number = (uint64_t)va_arg(ap, unative_t);
-					break;
-				default: /* Unknown qualifier */
-					counter = -counter;
-					goto out;
+			case PrintfQualifierByte:
+				size = sizeof(unsigned char);
+				number = (uint64_t)va_arg(ap, unsigned int);
+				break;
+			case PrintfQualifierShort:
+				size = sizeof(unsigned short);
+				number = (uint64_t)va_arg(ap, unsigned int);
+				break;
+			case PrintfQualifierInt:
+				size = sizeof(unsigned int);
+				number = (uint64_t)va_arg(ap, unsigned int);
+				break;
+			case PrintfQualifierLong:
+				size = sizeof(unsigned long);
+				number = (uint64_t)va_arg(ap, unsigned long);
+				break;
+			case PrintfQualifierLongLong:
+				size = sizeof(unsigned long long);
+				number = (uint64_t)va_arg(ap, unsigned long long);
+				break;
+			case PrintfQualifierPointer:
+				size = sizeof(void *);
+				number = (uint64_t)(unsigned long)va_arg(ap, void *);
+				break;
+			case PrintfQualifierNative:
+				size = sizeof(unative_t);
+				number = (uint64_t)va_arg(ap, unative_t);
+				break;
+			default: /* Unknown qualifier */
+				counter = -counter;
+				goto out;
 			}
 			
@@ -719,6 +719,4 @@
 }
 
-
- /** @}
- */
-
+/** @}
+ */
Index: kernel/generic/src/printf/snprintf.c
===================================================================
--- kernel/generic/src/printf/snprintf.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/printf/snprintf.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -49,5 +49,5 @@
 }
 
- /** @}
+/** @}
  */
 
Index: kernel/generic/src/printf/sprintf.c
===================================================================
--- kernel/generic/src/printf/sprintf.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/printf/sprintf.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -48,5 +48,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/src/printf/vprintf.c
===================================================================
--- kernel/generic/src/printf/vprintf.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/printf/vprintf.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -54,7 +54,4 @@
 }
 
-
-
- /** @}
+/** @}
  */
-
Index: kernel/generic/src/printf/vsnprintf.c
===================================================================
--- kernel/generic/src/printf/vsnprintf.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/printf/vsnprintf.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -101,5 +101,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: kernel/generic/src/printf/vsprintf.c
===================================================================
--- kernel/generic/src/printf/vsprintf.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/printf/vsprintf.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -40,6 +40,4 @@
 }
 
-
- /** @}
+/** @}
  */
-
Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/proc/scheduler.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -375,10 +375,10 @@
 
 		switch (THREAD->state) {
-		    case Running:
+		case Running:
 			spinlock_unlock(&THREAD->lock);
 			thread_ready(THREAD);
 			break;
 
-		    case Exiting:
+		case Exiting:
 repeat:
 		    	if (THREAD->detached) {
@@ -406,5 +406,5 @@
 			break;
 			
-		    case Sleeping:
+		case Sleeping:
 			/*
 			 * Prefer the thread after it's woken up.
@@ -431,5 +431,5 @@
 			break;
 
-		    default:
+		default:
 			/*
 			 * Entering state is unexpected.
Index: kernel/generic/src/security/cap.c
===================================================================
--- kernel/generic/src/security/cap.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/security/cap.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup generic	
+/** @addtogroup generic	
  * @{
  */
@@ -178,5 +178,5 @@
 }
 
- /** @}
+/** @}
  */
 
Index: kernel/generic/src/synch/rwlock.c
===================================================================
--- kernel/generic/src/synch/rwlock.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/synch/rwlock.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -207,33 +207,33 @@
 		rc = _mutex_lock_timeout(&rwl->exclusive, usec, flags);
 		switch (rc) {
-			case ESYNCH_WOULD_BLOCK:
-				/*
-				 * release_spinlock() wasn't called
-				 */
-				thread_register_call_me(NULL, NULL);
-				spinlock_unlock(&rwl->lock);
-			case ESYNCH_TIMEOUT:
-			case ESYNCH_INTERRUPTED:
-				/*
-				 * The sleep timed out.
-				 * We just restore interrupt priority level.
-				 */
-			case ESYNCH_OK_BLOCKED:		
-				/*
-				 * We were woken with rwl->readers_in already incremented.
-				 * Note that this arrangement avoids race condition between
-				 * two concurrent readers. (Race is avoided if 'exclusive' is
-				 * locked at the same time as 'readers_in' is incremented.
-				 * Same time means both events happen atomically when
-				 * rwl->lock is held.)
-				 */
-				interrupts_restore(ipl);
-				break;
-			case ESYNCH_OK_ATOMIC:
-				panic("_mutex_lock_timeout()==ESYNCH_OK_ATOMIC\n");
-				break;
-			default:
-				panic("invalid ESYNCH\n");
-				break;
+		case ESYNCH_WOULD_BLOCK:
+			/*
+			 * release_spinlock() wasn't called
+			 */
+			thread_register_call_me(NULL, NULL);
+			spinlock_unlock(&rwl->lock);
+		case ESYNCH_TIMEOUT:
+		case ESYNCH_INTERRUPTED:
+			/*
+			 * The sleep timed out.
+			 * We just restore interrupt priority level.
+			 */
+		case ESYNCH_OK_BLOCKED:		
+			/*
+			 * We were woken with rwl->readers_in already incremented.
+			 * Note that this arrangement avoids race condition between
+			 * two concurrent readers. (Race is avoided if 'exclusive' is
+			 * locked at the same time as 'readers_in' is incremented.
+			 * Same time means both events happen atomically when
+			 * rwl->lock is held.)
+			 */
+			interrupts_restore(ipl);
+			break;
+		case ESYNCH_OK_ATOMIC:
+			panic("_mutex_lock_timeout()==ESYNCH_OK_ATOMIC\n");
+			break;
+		default:
+			panic("invalid ESYNCH\n");
+			break;
 		}
 		return rc;
Index: kernel/generic/src/syscall/copy.c
===================================================================
--- kernel/generic/src/syscall/copy.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ kernel/generic/src/syscall/copy.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -106,5 +106,5 @@
 	
 	ASSERT(THREAD);
-	ASSERT(!THREAD->in_copy_from_uspace);
+	ASSERT(!THREAD->in_copy_to_uspace);
 	
 	if (!KERNEL_ADDRESS_SPACE_SHADOWED) {
@@ -119,9 +119,9 @@
 	
 	ipl = interrupts_disable();
-	THREAD->in_copy_from_uspace = true;
+	THREAD->in_copy_to_uspace = true;
 	
 	rc = memcpy_to_uspace(uspace_dst, src, size);
 
-	THREAD->in_copy_from_uspace = false;
+	THREAD->in_copy_to_uspace = false;
 
 	interrupts_restore(ipl);
Index: uspace/fb/fb.c
===================================================================
--- uspace/fb/fb.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ uspace/fb/fb.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -34,7 +34,7 @@
  * @{
  */ 
+
 /** @file
  */
-
 
 #include <stdlib.h>
@@ -1254,5 +1254,4 @@
 }
 
-
 /** 
  * @}
Index: uspace/libc/arch/sparc64/include/atomic.h
===================================================================
--- uspace/libc/arch/sparc64/include/atomic.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
+++ uspace/libc/arch/sparc64/include/atomic.h	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -50,17 +50,12 @@
 {
 	uint64_t a, b;
-	volatile uint64_t x = (uint64_t) &val->count;
 
-	__asm__ volatile (
-		"0:\n"
-		"ldx %0, %1\n"
-		"add %1, %3, %2\n"
-		"casx %0, %1, %2\n"
-		"cmp %1, %2\n"
-		"bne 0b\n"		/* The operation failed and must be attempted again if a != b. */
-		"nop\n"
-		: "=m" (*((uint64_t *)x)), "=r" (a), "=r" (b)
-		: "r" (i)
-	);
+	do {
+		volatile uintptr_t x = (uint64_t) &val->count;
+
+		a = *((uint64_t *) x);
+		b = a + i;
+		__asm__ volatile ("casx %0, %1, %2\n": "+m" (*((uint64_t *)x)), "+r" (a), "+r" (b));
+	} while (a != b);
 
 	return a;