Changes in kernel/generic/src/mm/page.c [8757be86:0428f77] in mainline

File:

• kernel/generic/src/mm/page.c (modified) (2 diffs)

kernel/generic/src/mm/page.c

@@ -168 +168 @@
 int page_find_mapping(uintptr_t virt, void **phys)
 {
-        mutex_lock(&AS->lock);
+        page_table_lock(AS, true);
         
         pte_t *pte = page_mapping_find(AS, virt, false);
         if ((!PTE_VALID(pte)) || (!PTE_PRESENT(pte))) {
-                mutex_unlock(&AS->lock);
+                page_table_unlock(AS, true);
                 return ENOENT;
         }
@@ -179 +179 @@
             (virt - ALIGN_DOWN(virt, PAGE_SIZE));
         
-        mutex_unlock(&AS->lock);
+        page_table_unlock(AS, true);
         
         return EOK;