Index: arch/ia32/src/mm/page.c
===================================================================
--- arch/ia32/src/mm/page.c	(revision 677a6d50fe04baf1fc4de579c24ea8dd8da3099b)
+++ arch/ia32/src/mm/page.c	(revision b2c92f33b5d4bbba5718f4b6fc40ccfbe054b6ca)
@@ -53,5 +53,5 @@
 		page_operations = &page_pt_operations;
 	
-		dba = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME);
+		dba = frame_alloc(FRAME_KA | FRAME_PANIC, ONE_FRAME, NULL);
 		memsetb(dba, PAGE_SIZE, 0);