Index: kernel/arch/amd64/src/mm/memory_init.c
===================================================================
--- kernel/arch/amd64/src/mm/memory_init.c	(revision 0f3fc9b4dfadc676e3337514570c32d8d8c9b162)
+++ kernel/arch/amd64/src/mm/memory_init.c	(revision 6f4495f5c6915097f277fabc29a874343f77e88a)
@@ -44,5 +44,5 @@
 size_t get_memory_size(void) 
 {
-	return e801memorysize*1024;
+	return e801memorysize * 1024;
 }
 
@@ -51,24 +51,24 @@
 	uint8_t i;
 	
-	for (i=0;i<e820counter;i++) {
+	for (i = 0; i < e820counter; i++) {
 		printf("E820 base: %#llx size: %#llx type: ", e820table[i].base_address, e820table[i].size);
 		switch (e820table[i].type) {
-			case MEMMAP_MEMORY_AVAILABLE: 
-				printf("available memory\n");
-				break;
-			case MEMMAP_MEMORY_RESERVED: 
-				printf("reserved memory\n");
-				break;
-			case MEMMAP_MEMORY_ACPI: 
-				printf("ACPI table\n");
-				break;
-			case MEMMAP_MEMORY_NVS: 
-				printf("NVS\n");
-				break;
-			case MEMMAP_MEMORY_UNUSABLE: 
-				printf("unusable memory\n");
-				break;
-			default:
-				printf("undefined memory type\n");
+		case MEMMAP_MEMORY_AVAILABLE: 
+			printf("available memory\n");
+			break;
+		case MEMMAP_MEMORY_RESERVED: 
+			printf("reserved memory\n");
+			break;
+		case MEMMAP_MEMORY_ACPI: 
+			printf("ACPI table\n");
+			break;
+		case MEMMAP_MEMORY_NVS: 
+			printf("NVS\n");
+			break;
+		case MEMMAP_MEMORY_UNUSABLE: 
+			printf("unusable memory\n");
+			break;
+		default:
+			printf("undefined memory type\n");
 		}
 	}