Symbol: atomic_cas_pte