update_mmu_cache
update_mmu_cache(vma, address, ptep);
update_mmu_cache(vma, address, ptep);
update_mmu_cache(NULL, address, pte);
update_mmu_cache(vma, address, pte);
update_mmu_cache(vma, address, ptep);
update_mmu_cache(vma, vmf.address, vmf.pte);
update_mmu_cache(dst_vma, dst_addr, dst_pte);
update_mmu_cache(dst_vma, dst_addr, dst_pte);
update_mmu_cache(walk->vma, addr, pte);
update_mmu_cache(vma, addr, pte);
update_mmu_cache(vma, addr, pte);
update_mmu_cache(vma, addr, pte); /* XXX: why not for insert_page? */
update_mmu_cache(vma, address, ptep);
update_mmu_cache(vma, pvmw.address, pvmw.pte);
update_mmu_cache(vma, addr, ptep);
update_mmu_cache(walk->vma, addr, pte);
update_mmu_cache(dst_vma, dst_addr, dst_pte);
update_mmu_cache(dst_vma, dst_addr, dst_pte);
update_mmu_cache(dst_vma, dst_addr, dst_pte);