|
@@ -646,10 +646,10 @@ static inline void update_mmu_cache(struct vm_area_struct *vma,
|
|
|
unsigned long addr, pte_t *ptep)
|
|
|
{
|
|
|
/*
|
|
|
- * set_pte() does not have a DSB for user mappings, so make sure that
|
|
|
- * the page table write is visible.
|
|
|
+ * We don't do anything here, so there's a very small chance of
|
|
|
+ * us retaking a user fault which we just fixed up. The alternative
|
|
|
+ * is doing a dsb(ishst), but that penalises the fastpath.
|
|
|
*/
|
|
|
- dsb(ishst);
|
|
|
}
|
|
|
|
|
|
#define update_mmu_cache_pmd(vma, address, pmd) do { } while (0)
|