Changes in kernel/arch/ia64/src/mm/tlb.c [7e752b2:0ff03f3] in mainline

File:

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

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

@@ -475 +475 @@
 void alternate_instruction_tlb_fault(uint64_t vector, istate_t *istate)
 {
-        region_register_t rr;
-        rid_t rid;
         uintptr_t va;
         pte_t *t;
         
         va = istate->cr_ifa; /* faulting address */
-        rr.word = rr_read(VA2VRN(va));
-        rid = rr.map.rid;
         
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, va);
+        t = page_mapping_find(AS, va, true);
         if (t) {
                 /*
@@ -603 +599 @@
         
         page_table_lock(AS, true);
-        pte_t *entry = page_mapping_find(AS, va);
+        pte_t *entry = page_mapping_find(AS, va, true);
         if (entry) {
                 /*
@@ -649 +645 @@
 void data_dirty_bit_fault(uint64_t vector, istate_t *istate)
 {
-        region_register_t rr;
-        rid_t rid;
         uintptr_t va;
         pte_t *t;
         
         va = istate->cr_ifa;  /* faulting address */
-        rr.word = rr_read(VA2VRN(va));
-        rid = rr.map.rid;
         
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, va);
+        t = page_mapping_find(AS, va, true);
         ASSERT((t) && (t->p));
         if ((t) && (t->p) && (t->w)) {
@@ -686 +678 @@
 void instruction_access_bit_fault(uint64_t vector, istate_t *istate)
 {
-        region_register_t rr;
-        rid_t rid;
         uintptr_t va;
         pte_t *t;
         
         va = istate->cr_ifa;  /* faulting address */
-        rr.word = rr_read(VA2VRN(va));
-        rid = rr.map.rid;
         
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, va);
+        t = page_mapping_find(AS, va, true);
         ASSERT((t) && (t->p));
         if ((t) && (t->p) && (t->x)) {
@@ -723 +711 @@
 void data_access_bit_fault(uint64_t vector, istate_t *istate)
 {
-        region_register_t rr;
-        rid_t rid;
         uintptr_t va;
         pte_t *t;
         
         va = istate->cr_ifa;  /* faulting address */
-        rr.word = rr_read(VA2VRN(va));
-        rid = rr.map.rid;
         
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, va);
+        t = page_mapping_find(AS, va, true);
         ASSERT((t) && (t->p));
         if ((t) && (t->p)) {
@@ -760 +744 @@
 void data_access_rights_fault(uint64_t vector, istate_t *istate)
 {
-        region_register_t rr;
-        rid_t rid;
         uintptr_t va;
         pte_t *t;
         
         va = istate->cr_ifa;  /* faulting address */
-        rr.word = rr_read(VA2VRN(va));
-        rid = rr.map.rid;
         
         /*
@@ -773 +753 @@
          */
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, va);
+        t = page_mapping_find(AS, va, true);
         ASSERT((t) && (t->p));
         ASSERT(!t->w);
@@ -792 +772 @@
 void page_not_present(uint64_t vector, istate_t *istate)
 {
-        region_register_t rr;
-        rid_t rid;
         uintptr_t va;
         pte_t *t;
         
         va = istate->cr_ifa;  /* faulting address */
-        rr.word = rr_read(VA2VRN(va));
-        rid = rr.map.rid;
         
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, va);
+        t = page_mapping_find(AS, va, true);
         ASSERT(t);