Lines Matching refs:va
53 uint8_t *va = (uint8_t *)virt + offset; in sys_mm_drv_is_virt_region_mapped() local
55 if (sys_mm_drv_page_phys_get(va, NULL) != 0) { in sys_mm_drv_is_virt_region_mapped()
70 uint8_t *va = (uint8_t *)virt + offset; in sys_mm_drv_is_virt_region_unmapped() local
72 if (sys_mm_drv_page_phys_get(va, NULL) != -EFAULT) { in sys_mm_drv_is_virt_region_unmapped()
98 uint8_t *va = (uint8_t *)virt + offset; in unmap_locked() local
100 int ret2 = sys_mm_drv_unmap_page(va); in unmap_locked()
104 __ASSERT(false, "cannot reset mapping %p\n", va); in unmap_locked()
106 __ASSERT(false, "cannot unmap %p\n", va); in unmap_locked()
133 uint8_t *va = (uint8_t *)virt + offset; in sys_mm_drv_simple_map_region() local
136 ret = sys_mm_drv_map_page(va, pa, flags); in sys_mm_drv_simple_map_region()
139 __ASSERT(false, "cannot map 0x%lx to %p\n", pa, va); in sys_mm_drv_simple_map_region()
179 uint8_t *va = (uint8_t *)virt + offset; in sys_mm_drv_simple_map_array() local
181 ret = sys_mm_drv_map_page(va, phys[idx], flags); in sys_mm_drv_simple_map_array()
184 __ASSERT(false, "cannot map 0x%lx to %p\n", phys[idx], va); in sys_mm_drv_simple_map_array()
519 uint8_t *va = (uint8_t *)virt + offset; in sys_mm_drv_simple_update_region_flags() local
521 int ret2 = sys_mm_drv_update_page_flags(va, flags); in sys_mm_drv_simple_update_region_flags()
524 __ASSERT(false, "cannot update flags %p\n", va); in sys_mm_drv_simple_update_region_flags()