Index: arch/ia64/src/mm/page.c
===================================================================
--- arch/ia64/src/mm/page.c	(revision b5e0bb89845d4997122e319a7f34a8545ed548ff)
+++ 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();