active_asid
old_active_asid = atomic64_read(&active_asid(info, cpu));
atomic64_cmpxchg_relaxed(&active_asid(info, cpu),
atomic64_set(&active_asid(info, cpu), asid);
asid = atomic64_xchg_relaxed(&active_asid(info, i), 0);