Changes in kernel/arch/ia64/src/mm/vhpt.c [9d58539:193d280c] 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 = frame_alloc(VHPT_WIDTH - FRAME_WIDTH,
-            FRAME_KA | FRAME_ATOMIC);
-        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;
@@ -80 +82 @@
 }
 
-void vhpt_invalidate_all()
+void vhpt_invalidate_all(void)
 {
-        memsetb(vhpt_base, 1 << VHPT_WIDTH, 0);
+        memsetb(vhpt_base, VHPT_SIZE, 0);
 }