Index: kernel/generic/include/ipc/ipc.h
===================================================================
--- kernel/generic/include/ipc/ipc.h	(revision 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/generic/include/ipc/ipc.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -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 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/generic/include/ipc/ipcrsc.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -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 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/generic/include/ipc/irq.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -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 27ab6a7c0ae5ecb4768a58e568c321a2c017a35b)
+++ kernel/generic/include/ipc/sysipc.h	(revision 3abe07f5c756a02236a5204f4769d9d19bd36b98)
@@ -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
 
- /** @}
+/** @}
  */
-