Index: kernel/arch/ia64/src/mm/vhpt.c
===================================================================
--- kernel/arch/ia64/src/mm/vhpt.c	(revision e2a0d76262c824f700198bedc668eb60c9ab9cfa)
+++ kernel/arch/ia64/src/mm/vhpt.c	(revision 08bc23d60e18d91f38bdbbfc8ee0bc0a7c796879)
@@ -42,6 +42,6 @@
 uintptr_t vhpt_set_up(void)
 {
-	vhpt_base = (vhpt_entry_t *) PA2KA(frame_alloc(VHPT_WIDTH - FRAME_WIDTH,
-	    FRAME_ATOMIC, 0));
+	vhpt_base = (vhpt_entry_t *)
+	    PA2KA(frame_alloc(SIZE2FRAMES(VHPT_SIZE), FRAME_ATOMIC, 0));
 	if (!vhpt_base)
 		panic("Kernel configured with VHPT but no memory for table.");
@@ -83,5 +83,5 @@
 void vhpt_invalidate_all()
 {
-	memsetb(vhpt_base, 1 << VHPT_WIDTH, 0);
+	memsetb(vhpt_base, VHPT_SIZE, 0);
 }