pte_xchg
if (pte_xchg(ptep, old_pte, new_pte))
} while (!pte_xchg(ptep, __pte(old_pte), __pte(new_pte)));
} while (!pte_xchg(ptep, __pte(old_pte), __pte(new_pte)));
} while (!pte_xchg(ptep, __pte(old_pte), __pte(new_pte)));
} while(!pte_xchg(ptep, __pte(old_pte), __pte(new_pte)));