363     uint64_t mapped = 0;  in mm_map_vma()  local
416         mapped += len_4k;  in mm_map_vma()
431 …_table((uint64_t)vma->vm_mm->pgd, true, vma->vm_start + offset + mapped, paddr + mapped, len_2m, p…  in mm_map_vma()
435         mapped += len_2m;  in mm_map_vma()
447 …_table((uint64_t)vma->vm_mm->pgd, true, vma->vm_start + offset + mapped, paddr + mapped, len_4k, p…  in mm_map_vma()
451         mapped += len_4k;  in mm_map_vma()
477     for (uint64_t mapped = 0; mapped < length;)  in mm_map()  local
480         struct vm_area_struct *vma = vma_find(mm, vaddr + mapped);  in mm_map()
483 …kerror("Map addr failed: vma not found. At address: %#018lx, pid=%ld", vaddr + mapped, current_pcb…  in mm_map()
493         offset = vaddr + mapped - vma->vm_start;  in mm_map()
496         retval = mm_map_vma(vma, paddr + mapped, offset, m_len);  in mm_map()
500         mapped += m_len;  in mm_map()