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