Index: kernel/generic/include/adt/bitmap.h
===================================================================
--- kernel/generic/include/adt/bitmap.h	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
+++ 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>