Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision 0428f77af45855d7b6f744cc6276fff0f5c83ac5)
+++ kernel/generic/src/mm/page.c	(revision db71e2af5cdfe169de296e6f39b3e5eda7a966f6)
@@ -104,5 +104,6 @@
 	ASSERT(page_mapping_operations->mapping_insert);
 
-	page_mapping_operations->mapping_insert(as, page, frame, flags);
+	page_mapping_operations->mapping_insert(as, ALIGN_DOWN(page, PAGE_SIZE),
+	    ALIGN_DOWN(frame, FRAME_SIZE), flags);
 	
 	/* Repel prefetched accesses to the old mapping. */
@@ -127,5 +128,6 @@
 	ASSERT(page_mapping_operations->mapping_remove);
 	
-	page_mapping_operations->mapping_remove(as, page);
+	page_mapping_operations->mapping_remove(as,
+	    ALIGN_DOWN(page, PAGE_SIZE));
 	
 	/* Repel prefetched accesses to the old mapping. */
@@ -150,5 +152,6 @@
 	ASSERT(page_mapping_operations->mapping_find);
 	
-	return page_mapping_operations->mapping_find(as, page, nolock);
+	return page_mapping_operations->mapping_find(as,
+	    ALIGN_DOWN(page, PAGE_SIZE), nolock);
 }