static inline void set_pud(pud_t *pudp, pud_t pud)
 {
-       *pudp = pud;
+       WRITE_ONCE(*pudp, pud);
 }
 
 static inline void pud_clear(pud_t *pudp)
 static inline void set_p4d(p4d_t *p4dp, p4d_t p4d)
 {
        if (pgtable_l4_enabled)
-               *p4dp = p4d;
+               WRITE_ONCE(*p4dp, p4d);
        else
                set_pud((pud_t *)p4dp, (pud_t){ p4d_val(p4d) });
 }
 static inline void set_pgd(pgd_t *pgdp, pgd_t pgd)
 {
        if (pgtable_l5_enabled)
-               *pgdp = pgd;
+               WRITE_ONCE(*pgdp, pgd);
        else
                set_p4d((p4d_t *)pgdp, (p4d_t){ pgd_val(pgd) });
 }
 
 
 static inline void set_pmd(pmd_t *pmdp, pmd_t pmd)
 {
-       *pmdp = pmd;
+       WRITE_ONCE(*pmdp, pmd);
 }
 
 static inline void pmd_clear(pmd_t *pmdp)
  */
 static inline void set_pte(pte_t *ptep, pte_t pteval)
 {
-       *ptep = pteval;
+       WRITE_ONCE(*ptep, pteval);
 }
 
 void flush_icache_pte(pte_t pte);