Index: arch/ia32/src/mm/memory_init.c
===================================================================
--- arch/ia32/src/mm/memory_init.c	(revision 69bd642286ccf8fe70264f21706e67054dfcb9fe)
+++ arch/ia32/src/mm/memory_init.c	(revision 3c56c94a9f989eb915e4ddb7f4c80d7f850941af)
@@ -29,4 +29,5 @@
 #include <arch/boot/memmap.h>
 #include <arch/mm/memory_init.h>
+#include <arch/mm/page.h>
 #include <print.h>
 
@@ -40,7 +41,14 @@
 	__u8 i;
 	
-	for (i=e820counter;i>0;i--) {
-		printf("E820 base: %Q size: %Q type: ", e820table[i-1].base_address, e820table[i-1].size);
-		switch (e820table[i-1].type) {
+	/*
+	 * We must not work with the original addresses for they are not mapped anymore.
+	 */
+	struct e820memmap_ *memtable = (struct e820memmap_ *) PA2KA(e820table);
+	__u32 *counter_p = (__u32 *) PA2KA(&e820counter);
+	
+	
+	for (i=*counter_p;i>0;i--) {
+		printf("E820 base: %Q size: %Q type: ", memtable[i-1].base_address, memtable[i-1].size);
+		switch (memtable[i-1].type) {
 			case MEMMAP_MEMORY_AVAILABLE: 
 				printf("available memory\n");