Index: kernel/generic/include/smp/ipi.h
===================================================================
--- kernel/generic/include/smp/ipi.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/smp/ipi.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -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 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/generic/include/smp/smp.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -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__ */
 
- /** @}
+/** @}
  */
-