Changes in kernel/generic/src/mm/page.c [59fb782:8cbf1c3] in mainline

File:

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

kernel/generic/src/mm/page.c

@@ -169 +169 @@
 }
 
-int page_find_mapping(uintptr_t virt, void **phys)
+int page_find_mapping(uintptr_t virt, uintptr_t *phys)
 {
         page_table_lock(AS, true);
@@ -179 +179 @@
         }
         
-        *phys = (void *) PTE_GET_FRAME(pte) +
+        *phys = PTE_GET_FRAME(pte) +
             (virt - ALIGN_DOWN(virt, PAGE_SIZE));
         
@@ -193 +193 @@
  *
  */
-sysarg_t sys_page_find_mapping(uintptr_t virt, void *phys_ptr)
-{
-        void *phys;
+sysarg_t sys_page_find_mapping(uintptr_t virt, uintptr_t *phys_ptr)
+{
+        uintptr_t phys;
         int rc = page_find_mapping(virt, &phys);
         if (rc != EOK)