mmap_read_lock(current->mm);
        vma = vma_lookup(current->mm, memmap->vma_base);
        if (vma && ((vma->vm_flags & VM_PFNMAP) != 0)) {
+               spinlock_t *ptl;
+               pte_t *ptep;
+
                if ((memmap->vma_base + memmap->len) > vma->vm_end) {
                        mmap_read_unlock(current->mm);
                        return -EINVAL;
                }
 
-               ret = follow_pfn(vma, memmap->vma_base, &pfn);
-               mmap_read_unlock(current->mm);
+               ret = follow_pte(vma->vm_mm, memmap->vma_base, &ptep, &ptl);
                if (ret < 0) {
+                       mmap_read_unlock(current->mm);
                        dev_dbg(acrn_dev.this_device,
                                "Failed to lookup PFN at VMA:%pK.\n", (void *)memmap->vma_base);
                        return ret;
                }
+               pfn = pte_pfn(ptep_get(ptep));
+               pte_unmap_unlock(ptep, ptl);
+               mmap_read_unlock(current->mm);
 
                return acrn_mm_region_add(vm, memmap->user_vm_pa,
                         PFN_PHYS(pfn), memmap->len,