|
@@ -224,10 +224,8 @@ static inline void set_pte(pte_t *ptep, pte_t pte)
|
|
|
* Only if the new pte is valid and kernel, otherwise TLB maintenance
|
|
|
* or update_mmu_cache() have the necessary barriers.
|
|
|
*/
|
|
|
- if (pte_valid_not_user(pte)) {
|
|
|
+ if (pte_valid_not_user(pte))
|
|
|
dsb(ishst);
|
|
|
- isb();
|
|
|
- }
|
|
|
}
|
|
|
|
|
|
extern void __sync_icache_dcache(pte_t pteval);
|
|
@@ -434,7 +432,6 @@ static inline void set_pmd(pmd_t *pmdp, pmd_t pmd)
|
|
|
{
|
|
|
WRITE_ONCE(*pmdp, pmd);
|
|
|
dsb(ishst);
|
|
|
- isb();
|
|
|
}
|
|
|
|
|
|
static inline void pmd_clear(pmd_t *pmdp)
|
|
@@ -485,7 +482,6 @@ static inline void set_pud(pud_t *pudp, pud_t pud)
|
|
|
{
|
|
|
WRITE_ONCE(*pudp, pud);
|
|
|
dsb(ishst);
|
|
|
- isb();
|
|
|
}
|
|
|
|
|
|
static inline void pud_clear(pud_t *pudp)
|