Searched refs:sys_mm_drv_page_phys_get (Results 1 – 7 of 7) sorted by relevance
403 int sys_mm_drv_page_phys_get(void *virt, uintptr_t *phys);
55 if (sys_mm_drv_page_phys_get(va, NULL) != 0) { in sys_mm_drv_is_virt_region_mapped()72 if (sys_mm_drv_page_phys_get(va, NULL) != -EFAULT) { in sys_mm_drv_is_virt_region_unmapped()270 ret = sys_mm_drv_page_phys_get(va_old, &pa); in sys_mm_drv_simple_remap_region()
101 int sys_mm_drv_page_phys_get(void *virt, uintptr_t *phys) in sys_mm_drv_page_phys_get() function
53 sys_mm_drv_page_phys_get() function from the system_mm API.
209 int sys_mm_drv_page_phys_get(void *virt, uintptr_t *phys) in sys_mm_drv_page_phys_get() function
513 int sys_mm_drv_page_phys_get(void *virt, uintptr_t *phys) in sys_mm_drv_page_phys_get() function662 ret2 = sys_mm_drv_page_phys_get(va_old, &pa); in sys_mm_drv_move_region()
110 sys_mm_drv_page_phys_get((void *) phys_addr, virt_addr); in device_map()