Index: kernel/arch/ia64/include/pal/pal.h
===================================================================
--- kernel/arch/ia64/include/pal/pal.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ia64/include/pal/pal.h	(revision 6ff1f1e849d8a798e3ed34a6dcdd58b2f25b0055)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup ia64	
+/** @addtogroup ia64	
  * @{
  */
@@ -33,6 +33,6 @@
  */
 
-#ifndef __ia64_PAL_H__
-#define __ia64_PAL_H__
+#ifndef KERN_ia64_PAL_H_
+#define KERN_ia64_PAL_H_
 
 #define PAL_OK		 0	/**< Call completed without error. */
@@ -96,6 +96,6 @@
 
 /*
-	Ski PTCE data
-*/
+ *	Ski PTCE data
+ */
 #define PAL_PTCE_INFO_BASE() (0x100000000LL)
 #define PAL_PTCE_INFO_COUNT1() (2)
@@ -104,8 +104,6 @@
 #define PAL_PTCE_INFO_STRIDE2() (0x2000)
 
-
 #endif
 
- /** @}
+/** @}
  */
-
