cmpxchg64
} while (cmpxchg64(&dist->propbaser, old_propbaser,
} while (cmpxchg64(&vgic_cpu->pendbaser, old_pendbaser,
cmpxchg64(&buddy->pte, 0, _PAGE_GLOBAL);
if (cmpxchg64((unsigned long *)&kvmppc_host_rm_ops_hv, 0, l_ops)) {
success = cmpxchg64(&icp->state.raw, old.raw, new.raw) == old.raw;
success = cmpxchg64(&rm_core[core].rm_state.raw,
success = cmpxchg64(&icp->state.raw, old.raw, new.raw) == old.raw;
} while (cmpxchg64(&pmdp->pmd, old.pmd, pmd.pmd) != old.pmd);
cmpxchg64(sptep, spte,
remote_clock = cmpxchg64(&scd->clock, 0, 0);