Index: genarch/src/mm/as_ht.c
===================================================================
--- genarch/src/mm/as_ht.c	(revision 9ea8a7ca32a0148a8f388e6313b10d79946deda1)
+++ genarch/src/mm/as_ht.c	(revision bc504ef2f35f18a589fe5c41042fd4a533bfe7cb)
@@ -54,5 +54,5 @@
 {
 	if (!page_ht) {
-		page_ht = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC, HT_WIDTH - FRAME_WIDTH, NULL);
+		page_ht = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC, HT_WIDTH - FRAME_WIDTH, NULL, NULL);
 		memsetb((__address) page_ht, HT_SIZE, 0);
 	}
Index: genarch/src/mm/as_pt.c
===================================================================
--- genarch/src/mm/as_pt.c	(revision 9ea8a7ca32a0148a8f388e6313b10d79946deda1)
+++ genarch/src/mm/as_pt.c	(revision bc504ef2f35f18a589fe5c41042fd4a533bfe7cb)
@@ -57,5 +57,5 @@
 	ipl_t ipl;
 
-	dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME, NULL);
+	dst_ptl0 = (pte_t *) frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME, NULL, NULL);
 
 	if (flags & FLAG_AS_KERNEL) {
Index: genarch/src/mm/page_pt.c
===================================================================
--- genarch/src/mm/page_pt.c	(revision 9ea8a7ca32a0148a8f388e6313b10d79946deda1)
+++ genarch/src/mm/page_pt.c	(revision bc504ef2f35f18a589fe5c41042fd4a533bfe7cb)
@@ -66,5 +66,5 @@
 
 	if (GET_PTL1_FLAGS(ptl0, PTL0_INDEX(page)) & PAGE_NOT_PRESENT) {
-		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL);
+		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL, NULL);
 		memsetb(newpt, PAGE_SIZE, 0);
 		SET_PTL1_ADDRESS(ptl0, PTL0_INDEX(page), KA2PA(newpt));
@@ -75,5 +75,5 @@
 
 	if (GET_PTL2_FLAGS(ptl1, PTL1_INDEX(page)) & PAGE_NOT_PRESENT) {
-		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL);
+		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL, NULL);
 		memsetb(newpt, PAGE_SIZE, 0);
 		SET_PTL2_ADDRESS(ptl1, PTL1_INDEX(page), KA2PA(newpt));
@@ -84,5 +84,5 @@
 
 	if (GET_PTL3_FLAGS(ptl2, PTL2_INDEX(page)) & PAGE_NOT_PRESENT) {
-		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL);
+		newpt = frame_alloc(FRAME_KA, ONE_FRAME, NULL, NULL);
 		memsetb(newpt, PAGE_SIZE, 0);
 		SET_PTL3_ADDRESS(ptl2, PTL2_INDEX(page), KA2PA(newpt));