Changes in kernel/arch/ppc32/src/mm/pht.c [38dc82d:1dbc43f] in mainline

File:

• kernel/arch/ppc32/src/mm/pht.c (modified) (3 diffs)

kernel/arch/ppc32/src/mm/pht.c

@@ -49 +49 @@
  * @param access   Access mode that caused the fault.
  * @param istate   Pointer to interrupted state.
- * @param[out] pte Structure that will receive a copy of the found PTE.
- *
- * @return True if the mapping was found, false otherwise.
- *
- */
-static bool find_mapping_and_check(as_t *as, uintptr_t badvaddr, int access,
-    istate_t *istate, pte_t *pte)
+ *
+ * @return PTE on success, NULL otherwise.
+ *
+ */
+static pte_t *find_mapping_and_check(as_t *as, uintptr_t badvaddr, int access,
+    istate_t *istate)
 {
         /*
          * Check if the mapping exists in page tables.
          */
-        bool found = page_mapping_find(as, badvaddr, true, pte);
-        if (found && pte->present) {
+        pte_t *pte = page_mapping_find(as, badvaddr, true);
+        if ((pte) && (pte->present)) {
                 /*
                  * Mapping found in page tables.
                  * Immediately succeed.
                  */
-                return true;
+                return pte;
         }
         /*
@@ -77 +76 @@
                  * The mapping ought to be in place.
                  */
-                found = page_mapping_find(as, badvaddr, true, pte);
-
-                ASSERT(found);
-                ASSERT(pte->present);
-
-                return found;
-        }
-
-        return false;
+                pte = page_mapping_find(as, badvaddr, true);
+                ASSERT((pte) && (pte->present));
+                return pte;
+        }
+
+        return NULL;
 }
 
@@ -186 +182 @@
                 badvaddr = istate->pc;
         
-        pte_t pte;
-        bool found = find_mapping_and_check(AS, badvaddr,
-            PF_ACCESS_READ /* FIXME */, istate, &pte);
-        
-        if (found) {
+        pte_t *pte = find_mapping_and_check(AS, badvaddr,
+            PF_ACCESS_READ /* FIXME */, istate);
+        
+        if (pte) {
                 /* Record access to PTE */
-                pte.accessed = 1;
-                pht_insert(badvaddr, &pte);
+                pte->accessed = 1;
+                pht_insert(badvaddr, pte);
         }
 }