Index: test/mm/mapping1/test.c
===================================================================
--- test/mm/mapping1/test.c	(revision 085d973c11067c76c6bb3481033b2ba387555f4a)
+++ test/mm/mapping1/test.c	(revision 85dc2e77222d3673eee1c67e4bf6f866fda4ca31)
@@ -48,6 +48,6 @@
 	printf("Memory management test mapping #1\n");
 
-	frame0 = frame_alloc(ONE_FRAME, FRAME_KA);
-	frame1 = frame_alloc(ONE_FRAME, FRAME_KA);	
+	frame0 = PA2KA(PFN2ADDR(frame_alloc(ONE_FRAME, FRAME_KA)));
+	frame1 = PA2KA(PFN2ADDR(frame_alloc(ONE_FRAME, FRAME_KA)));
 
 	printf("Writing %L to physical address %P.\n", VALUE0, KA2PA(frame0));