Changes in kernel/generic/src/mm/page.c [6645a14:235e6c7] in mainline

File:

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

kernel/generic/src/mm/page.c

@@ -53 +53 @@
  * We assume that the other processors are either not using the mapping yet
  * (i.e. during the bootstrap) or are executing the TLB shootdown code.  While
- * we don't care much about the former case, the processors in the latter case
+ * we don't care much about the former case, the processors in the latter case 
  * will do an implicit serialization by virtue of running the TLB shootdown
  * interrupt handler.
@@ -60 +60 @@
 
 #include <mm/page.h>
-#include <genarch/mm/page_ht.h>
-#include <genarch/mm/page_pt.h>
 #include <arch/mm/page.h>
 #include <arch/mm/asid.h>
@@ -72 +70 @@
 #include <debug.h>
 #include <arch.h>
-#include <syscall/copy.h>
-#include <errno.h>
-#include <align.h>
 
 /** Virtual operations for page subsystem. */
@@ -177 +172 @@
 }
 
-int page_find_mapping(uintptr_t virt, void **phys)
-{
-        mutex_lock(&AS->lock);
-        
-        pte_t *pte = page_mapping_find(AS, virt, false);
-        if ((!PTE_VALID(pte)) || (!PTE_PRESENT(pte))) {
-                mutex_unlock(&AS->lock);
-                return ENOENT;
-        }
-        
-        *phys = (void *) PTE_GET_FRAME(pte) +
-            (virt - ALIGN_DOWN(virt, PAGE_SIZE));
-        
-        mutex_unlock(&AS->lock);
-        
-        return EOK;
-}
-
-/** Syscall wrapper for getting mapping of a virtual page.
- *
- * @return EOK on success.
- * @return ENOENT if no virtual address mapping found.
- *
- */
-sysarg_t sys_page_find_mapping(uintptr_t virt, void *phys_ptr)
-{
-        void *phys;
-        int rc = page_find_mapping(virt, &phys);
-        if (rc != EOK)
-                return rc;
-        
-        rc = copy_to_uspace(phys_ptr, &phys, sizeof(phys));
-        return (sysarg_t) rc;
-}
-
 /** @}
  */