Changes in kernel/arch/ia64/src/mm/vhpt.c [e2a0d76:cd3b380] in mainline

File:

• kernel/arch/ia64/src/mm/vhpt.c (modified) (2 diffs)

kernel/arch/ia64/src/mm/vhpt.c

@@ -42 +42 @@
 uintptr_t vhpt_set_up(void)
 {
-        vhpt_base = (vhpt_entry_t *) PA2KA(frame_alloc(VHPT_WIDTH - FRAME_WIDTH,
-            FRAME_ATOMIC, 0));
-        if (!vhpt_base)
+        uintptr_t vhpt_frame =
+            frame_alloc(SIZE2FRAMES(VHPT_SIZE), FRAME_ATOMIC, 0);
+        if (!vhpt_frame)
                 panic("Kernel configured with VHPT but no memory for table.");
         
+        vhpt_base = (vhpt_entry_t *) PA2KA(vhpt_frame);
         vhpt_invalidate_all();
         return (uintptr_t) vhpt_base;
@@ -83 +84 @@
 void vhpt_invalidate_all()
 {
-        memsetb(vhpt_base, 1 << VHPT_WIDTH, 0);
+        memsetb(vhpt_base, VHPT_SIZE, 0);
 }