+
+ // If the victim is valid and we get a 1 written to the ASID array
+ // then we have to reset the ASID of our victim, else the
+ // reset_asid function is currently resetting the ASIDs of the
+ // victim on a different CPU.
+ if (victim != reinterpret_cast<Mem_space*>(~0UL) &&
+ mp_cas(bad_guy, victim, reinterpret_cast<Mem_space*>(1)))
+ write_now(&victim->_asid[cpu], ~0UL);