171 int sys_mm_drv_map_page(void *virt, uintptr_t phys, uint32_t flags)  in sys_mm_drv_map_page()  argument
187 	uintptr_t pa = POINTER_TO_UINT(sys_cache_cached_ptr_get(UINT_TO_POINTER(phys)));  in sys_mm_drv_map_page()
209 	if (UINT_TO_POINTER(phys) == NULL) {  in sys_mm_drv_map_page()
214 				 "unable to assign free phys page %d\n", ret);  in sys_mm_drv_map_page()
285 int sys_mm_drv_map_region(void *virt, uintptr_t phys,  in sys_mm_drv_map_region()  argument
294 	CHECKIF(!sys_mm_drv_is_addr_aligned(phys) ||  in sys_mm_drv_map_region()
302 	pa = phys;  in sys_mm_drv_map_region()
315 		if (phys != 0) {  in sys_mm_drv_map_region()
326 int sys_mm_drv_map_array(void *virt, uintptr_t *phys,  in sys_mm_drv_map_array()  argument
331 	return sys_mm_drv_simple_map_array(va, phys, cnt, flags);  in sys_mm_drv_map_array()
513 int sys_mm_drv_page_phys_get(void *virt, uintptr_t *phys)  in sys_mm_drv_page_phys_get()  argument
539 		if (phys != NULL) {  in sys_mm_drv_page_phys_get()
540 			*phys = (ent & TLB_PADDR_MASK) *  in sys_mm_drv_page_phys_get()
672 		 * flags and phys addr of the old mapped page as We don't  in sys_mm_drv_move_region()