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

File:

• kernel/arch/ia64/src/mm/vhpt.c (modified) (1 diff)

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);
+        vhpt_base = (vhpt_entry_t *) PA2KA(frame_alloc(VHPT_WIDTH - FRAME_WIDTH,
+            FRAME_ATOMIC, 0));
         if (!vhpt_base)
                 panic("Kernel configured with VHPT but no memory for table.");
+        
         vhpt_invalidate_all();
         return (uintptr_t) vhpt_base;