Index: kernel/genarch/include/softint/division.h
===================================================================
--- kernel/genarch/include/softint/division.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/genarch/include/softint/division.h	(revision 61e90ddd605dc4854cbb016a4be65d1cd1e9510c)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup genarch	
+/** @addtogroup genarch	
  * @{
  */
@@ -33,7 +33,6 @@
  */
 
-#ifndef __SOFTINT_DIVISION_H__
-#define __SOFTINT_DIVISION_H__
-
+#ifndef KERN_DIVISION_H_
+#define KERN_DIVISION_H_
 
 /* 32bit integer division */
@@ -65,6 +64,4 @@
 #endif
 
-
- /** @}
+/** @}
  */
-