Index: kernel/arch/ia32/include/arg.h
===================================================================
--- kernel/arch/ia32/include/arg.h	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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
