Index: arch/ia64/src/mm/page.c
===================================================================
--- arch/ia64/src/mm/page.c	(revision 9ea8a7ca32a0148a8f388e6313b10d79946deda1)
+++ arch/ia64/src/mm/page.c	(revision a294ad07c4e1a72ddd9bcff5b35ee94dc3ec6e28)
@@ -90,5 +90,5 @@
 	 * Allocate VHPT and invalidate all its entries.
 	 */
-	page_ht = (pte_t *) frame_alloc(FRAME_KA, VHPT_WIDTH - FRAME_WIDTH, NULL);
+	page_ht = (pte_t *) frame_alloc(FRAME_KA, VHPT_WIDTH - FRAME_WIDTH, NULL, NULL);
 	memsetb((__address) page_ht, VHPT_SIZE, 0);
 	ht_invalidate_all();