Changes in kernel/arch/mips32/src/mm/tlb.c [8fe2c9bd:59fb782] in mainline

File:

• kernel/arch/mips32/src/mm/tlb.c (modified) (8 diffs)

kernel/arch/mips32/src/mm/tlb.c

@@ -94 +94 @@
         entry_lo_t lo;
         uintptr_t badvaddr;
-        uintptr_t page;
         pte_t *pte;
         
         badvaddr = cp0_badvaddr_read();
-        page = ALIGN_DOWN(badvaddr, PAGE_SIZE);
-
-        pte = page_mapping_find(AS, page, true);
+
+        pte = page_mapping_find(AS, badvaddr, true);
         if (pte && pte->p) {
                 /*
@@ -125 +123 @@
         }
 
-        (void) as_page_fault(page, PF_ACCESS_READ, istate);
+        (void) as_page_fault(badvaddr, PF_ACCESS_READ, istate);
 }
 
@@ -137 +135 @@
         tlb_index_t index;
         uintptr_t badvaddr;
-        uintptr_t page;
         pte_t *pte;
 
@@ -161 +158 @@
 
         badvaddr = cp0_badvaddr_read();
-        page = ALIGN_DOWN(badvaddr, PAGE_SIZE);
-
-        pte = page_mapping_find(AS, page, true);
+
+        pte = page_mapping_find(AS, badvaddr, true);
         if (pte && pte->p) {
                 /*
@@ -189 +185 @@
         }
 
-        (void) as_page_fault(page, PF_ACCESS_READ, istate);
+        (void) as_page_fault(badvaddr, PF_ACCESS_READ, istate);
 }
 
@@ -201 +197 @@
         tlb_index_t index;
         uintptr_t badvaddr;
-        uintptr_t page;
         pte_t *pte;
 
         badvaddr = cp0_badvaddr_read();
-        page = ALIGN_DOWN(badvaddr, PAGE_SIZE);
 
         /*
@@ -227 +221 @@
         }
 
-        pte = page_mapping_find(AS, page, true);
+        pte = page_mapping_find(AS, badvaddr, true);
         if (pte && pte->p && pte->w) {
                 /*
@@ -254 +248 @@
         }
 
-        (void) as_page_fault(page, PF_ACCESS_WRITE, istate);
+        (void) as_page_fault(badvaddr, PF_ACCESS_WRITE, istate);
 }