Index: arch/amd64/src/mm/page.c
===================================================================
--- arch/amd64/src/mm/page.c	(revision 4fdf3cc59b40f9758bf5a619c64a5a4718be1fee)
+++ arch/amd64/src/mm/page.c	(revision 5c3243e12e8a274e21d3ac2a6ed71c94d4ea19cc)
@@ -45,5 +45,5 @@
 	if (config.cpu_active == 1) {
 		page_mapping_operations = &pt_mapping_operations;
-	
+		
 		/*
 		 * PA2KA(identity) mapping for all frames.
@@ -52,5 +52,4 @@
 			page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, PAGE_CACHEABLE | PAGE_EXEC);
 		}
-
 		exc_register(14, "page_fault", (iroutine)page_fault);
 		write_cr3((__address) AS_KERNEL->page_table);
Index: arch/amd64/src/pm.c
===================================================================
--- arch/amd64/src/pm.c	(revision 4fdf3cc59b40f9758bf5a619c64a5a4718be1fee)
+++ arch/amd64/src/pm.c	(revision 5c3243e12e8a274e21d3ac2a6ed71c94d4ea19cc)
@@ -38,5 +38,5 @@
 
 #include <memstr.h>
-#include <mm/heap.h>
+#include <mm/slab.h>
 #include <debug.h>