Index: genarch/src/mm/page_pt.c
===================================================================
--- genarch/src/mm/page_pt.c	(revision 677a6d50fe04baf1fc4de579c24ea8dd8da3099b)
+++ genarch/src/mm/page_pt.c	(revision 46d26ee596dd9907535ce84849eaef378cdeaf36)
@@ -64,5 +64,5 @@
 
 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) {
-		newpt = frame_alloc(FRAME_KA, ONE_FRAME);
+		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL);
 		memsetb(newpt, PAGE_SIZE, 0);
 		SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page), KA2PA(newpt));
@@ -73,5 +73,5 @@
 
 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT) {
-		newpt = frame_alloc(FRAME_KA, ONE_FRAME);
+		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL);
 		memsetb(newpt, PAGE_SIZE, 0);
 		SET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page), KA2PA(newpt));
@@ -82,5 +82,5 @@
 
 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT) {
-		newpt = frame_alloc(FRAME_KA, ONE_FRAME);
+		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL);
 		memsetb(newpt, PAGE_SIZE, 0);
 		SET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page), KA2PA(newpt));