kernel/arch/nios2/mm/cacheflush.c
.. .. @@ -198,12 +198,15 @@ 198 198 EXPORT_SYMBOL(flush_dcache_page); 199 199 200 200 void update_mmu_cache(struct vm_area_struct *vma, 201 - unsigned long address, pte_t *pte)201 + unsigned long address, pte_t *ptep)202 202 { 203 - unsigned long pfn = pte_pfn(*pte);203 + pte_t pte = *ptep;204 + unsigned long pfn = pte_pfn(pte);204 205 struct page *page; 205 206 struct address_space *mapping; 206 207 208 + reload_tlb_page(vma, address, pte);209 +207 210 if (!pfn_valid(pfn)) 208 211 return; 209 212