143                         uint64_t *vaddr = kmalloc(PAGE_4K_SIZE, 0);  in mm_map_proc_page_table()  local
144                         memset(vaddr, 0, PAGE_4K_SIZE);  in mm_map_proc_page_table()
145 …            set_pdt(pde_ptr, mk_pdt(virt_2_phys(vaddr), (user ? PAGE_USER_PDE : PAGE_KERNEL_PDE)));  in mm_map_proc_page_table()
320 int mm_create_vma(struct mm_struct *mm, uint64_t vaddr, uint64_t length, vm_flags_t vm_flags, struc…  in mm_create_vma()  argument
324     if (unlikely(vaddr & (PAGE_4K_SIZE - 1)))  in mm_create_vma()
332     vma->vm_start = vaddr;  in mm_create_vma()
333     vma->vm_end = vaddr + length;  in mm_create_vma()
473 int mm_map(struct mm_struct *mm, uint64_t vaddr, uint64_t length, uint64_t paddr)  in mm_map()  argument
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()
550 int mm_unmap(struct mm_struct *mm, uint64_t vaddr, uint64_t length, bool destroy)  in mm_unmap()  argument
555         struct vm_area_struct *vma = vma_find(mm, vaddr + unmapped);  in mm_unmap()
558 …kerror("Unmap addr failed: vma not found. At address: %#018lx, pid=%ld", vaddr + unmapped, current…  in mm_unmap()
562         if (unlikely(vma->vm_start != (vaddr + unmapped)))  in mm_unmap()
564 …       kerror("Unmap addr failed: addr_start is not equal to current: %#018lx.", vaddr + unmapped);  in mm_unmap()