ARM_LPAE_PTE_SW_SYNC
if (cfg->coherent_walk || (old & ARM_LPAE_PTE_SW_SYNC))
WRITE_ONCE(*ptep, new | ARM_LPAE_PTE_SW_SYNC);
} else if (!cfg->coherent_walk && !(pte & ARM_LPAE_PTE_SW_SYNC)) {