|
@@ -85,8 +85,7 @@ survive:
|
|
pte = pte_offset_kernel(pmd, address);
|
|
pte = pte_offset_kernel(pmd, address);
|
|
} while(!pte_present(*pte));
|
|
} while(!pte_present(*pte));
|
|
err = 0;
|
|
err = 0;
|
|
- *pte = pte_mkyoung(*pte);
|
|
|
|
- if(pte_write(*pte)) *pte = pte_mkdirty(*pte);
|
|
|
|
|
|
+ WARN_ON(!pte_young(*pte) || (is_write && !pte_dirty(*pte)));
|
|
flush_tlb_page(vma, address);
|
|
flush_tlb_page(vma, address);
|
|
out:
|
|
out:
|
|
up_read(&mm->mmap_sem);
|
|
up_read(&mm->mmap_sem);
|