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()
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()