reserved_asid
asid = reserved_asid(info, i);
reserved_asid(info, i) = asid;
if (reserved_asid(info, cpu) == asid) {
reserved_asid(info, cpu) = newasid;