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