Changes in kernel/arch/sparc64/src/mm/sun4v/tlb.c [730ff63:1dbc43f] 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) {
@@ -257 +256 @@
                         /* 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.");
                 }
-        }
-
-        t = page_mapping_find(as, va, true);
+                panic("Unexpected kernel page fault.");
+        }
+
+        t = page_mapping_find(AS, va, true);
         if (t) {
                 /*
@@ -300 +295 @@
         uintptr_t va = DMISS_ADDRESS(page_and_ctx);
         uint16_t ctx = DMISS_CONTEXT(page_and_ctx);
-        as_t *as = AS;
-
-        if (ctx == ASID_KERNEL)
-                as = AS_KERNEL;
-
-        t = page_mapping_find(as, va, true);
+
+        t = page_mapping_find(AS, va, true);
         if (t && PTE_WRITABLE(t)) {
                 /*