Index: kernel/arch/amd64/src/amd64.c
===================================================================
--- kernel/arch/amd64/src/amd64.c	(revision 4fb6bf36a77314bbd0cf9617e098289987ba7351)
+++ kernel/arch/amd64/src/amd64.c	(revision 4cc2dddec0731c6f01a0f290b358ad6fbd7e81f4)
@@ -72,14 +72,13 @@
 static void clean_IOPL_NT_flags(void)
 {
-	asm
-	(
-		"pushfq;"
-		"pop %%rax;"
-		"and $~(0x7000),%%rax;"
-		"pushq %%rax;"
-		"popfq;"
-		:
-		:
-		:"%rax"
+	asm (
+		"pushfq\n"
+		"pop %%rax\n"
+		"and $~(0x7000), %%rax\n"
+		"pushq %%rax\n"
+		"popfq\n"
+		:
+		:
+		: "%rax"
 	);
 }
@@ -91,12 +90,11 @@
 static void clean_AM_flag(void)
 {
-	asm
-	(
-		"mov %%cr0,%%rax;"
-		"and $~(0x40000),%%rax;"
-		"mov %%rax,%%cr0;"
-		:
-		:
-		:"%rax"
+	asm (
+		"mov %%cr0, %%rax\n"
+		"and $~(0x40000), %%rax\n"
+		"mov %%rax, %%cr0\n"
+		:
+		:
+		: "%rax"
 	);
 }
@@ -128,4 +126,5 @@
 }
 
+
 void arch_post_mm_init(void)
 {
@@ -136,5 +135,5 @@
 		/* hard clock */
 		i8254_init();
-
+				
 #ifdef CONFIG_FB
 		if (vesa_present()) 
@@ -149,7 +148,7 @@
 		zone_merge_all();
 	}
+	
 	/* Setup fast SYSCALL/SYSRET */
 	syscall_setup_cpu();
-	
 }
 
Index: kernel/arch/amd64/src/mm/page.c
===================================================================
--- kernel/arch/amd64/src/mm/page.c	(revision 4fb6bf36a77314bbd0cf9617e098289987ba7351)
+++ kernel/arch/amd64/src/mm/page.c	(revision 4cc2dddec0731c6f01a0f290b358ad6fbd7e81f4)
@@ -88,5 +88,5 @@
 	if (config.cpu_active == 1) {
 		page_mapping_operations = &pt_mapping_operations;
-		
+
 		/*
 		 * PA2KA(identity) mapping for all frames.
@@ -96,7 +96,8 @@
 			page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, identity_flags);
 		}
+		
 		/* Upper kernel mapping
 		 * - from zero to top of kernel (include bottom addresses
-		 *   because some are needed for init )
+		 *   because some are needed for init)
 		 */
 		for (cur = PA2KA_CODE(0); cur < config.base + config.kernel_size; cur += FRAME_SIZE)