atomic64_cmpxchg_relaxed
0 != atomic64_cmpxchg_relaxed(this_cpu_ptr(&active_vmids),
atomic64_cmpxchg_relaxed(this_cpu_ptr(&active_asids),
atomic64_cmpxchg_relaxed(&active_asid(info, cpu),
return atomic64_cmpxchg_relaxed(v, old, new);