Changes in kernel/arch/sparc64/src/mm/sun4v/tlb.c [1dbc43f:b2fa1204] in mainline

File:

• kernel/arch/sparc64/src/mm/sun4v/tlb.c (modified) (5 diffs)

kernel/arch/sparc64/src/mm/sun4v/tlb.c

@@ -46 +46 @@
 #include <arch.h>
 #include <print.h>
+#include <log.h>
 #include <typedefs.h>
 #include <config.h>
@@ -251 +252 @@
         uintptr_t va = DMISS_ADDRESS(page_and_ctx);
         uint16_t ctx = DMISS_CONTEXT(page_and_ctx);
+        as_t *as = AS;
 
         if (ctx == ASID_KERNEL) {
@@ -256 +258 @@
                         /* NULL access in kernel */
                         panic("NULL pointer dereference.");
+                } else if (va >= end_of_identity) {
+                        /* Kernel non-identity */
+                        as = AS_KERNEL;
+                } else {
+                        panic("Unexpected kernel page fault.");
                 }
-                panic("Unexpected kernel page fault.");
-        }
-
-        t = page_mapping_find(AS, va, true);
+        }
+
+        t = page_mapping_find(as, va, true);
         if (t) {
                 /*
@@ -295 +301 @@
         uintptr_t va = DMISS_ADDRESS(page_and_ctx);
         uint16_t ctx = DMISS_CONTEXT(page_and_ctx);
-
-        t = page_mapping_find(AS, va, true);
+        as_t *as = AS;
+
+        if (ctx == ASID_KERNEL)
+                as = AS_KERNEL;
+
+        t = page_mapping_find(as, va, true);
         if (t && PTE_WRITABLE(t)) {
                 /*
@@ -326 +336 @@
 void tlb_print(void)
 {
-        printf("Operation not possible on Niagara.\n");
+        log(LF_ARCH, LVL_WARN, "Operation not possible on Niagara.");
 }