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

File:

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

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

@@ -251 +251 @@
         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 +257 @@
                         /* 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 +300 @@
         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)) {
                 /*