Index: kernel/arch/amd64/include/boot/boot.h
===================================================================
--- kernel/arch/amd64/include/boot/boot.h	(revision 41f7564e975bcef427a9a5bcbb0c12c9001f1a58)
+++ kernel/arch/amd64/include/boot/boot.h	(revision c049309818d0a3eca8aa6dfecad99aa1f06ee0d6)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup amd64	
+/** @addtogroup amd64	
  * @{
  */
@@ -47,5 +47,4 @@
 #endif
 
- /** @}
+/** @}
  */
-
Index: kernel/arch/amd64/include/pm.h
===================================================================
--- kernel/arch/amd64/include/pm.h	(revision 41f7564e975bcef427a9a5bcbb0c12c9001f1a58)
+++ kernel/arch/amd64/include/pm.h	(revision c049309818d0a3eca8aa6dfecad99aa1f06ee0d6)
@@ -69,6 +69,6 @@
 
 
-#define gdtselector(des)	((des)<<3)
-#define idtselector(des)        ((des)<<4)
+#define gdtselector(des)	((des) << 3)
+#define idtselector(des)	((des) << 4)
 
 #define PL_KERNEL	0