Index: kernel/arch/ppc32/include/arg.h
===================================================================
--- kernel/arch/ppc32/include/arg.h	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ kernel/arch/ppc32/src/drivers/pic.c	(revision 06e1e95342d7b9a9c85c7492529a309d51a3fb6c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ppc32	
+/** @addtogroup ppc32	
  * @{
  */
@@ -91,5 +91,4 @@
 }
 
- /** @}
+/** @}
  */
-