Index: kernel/arch/sparc64/include/mm/asid.h
===================================================================
--- kernel/arch/sparc64/include/mm/asid.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/sparc64/include/mm/asid.h	(revision 10b890bd989b140b5238140ffa8ce961f23dd113)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup sparc64mm	
+/** @addtogroup sparc64mm	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __sparc64_ASID_H__
-#define __sparc64_ASID_H__
+#ifndef KERN_sparc64_ASID_H_
+#define KERN_sparc64_ASID_H_
 
 #include <arch/types.h>
@@ -47,5 +47,4 @@
 #endif
 
- /** @}
+/** @}
  */
-