check_update_reserved_asid
if (check_update_reserved_asid(asid, newasid))
if (check_update_reserved_asid(info, asid, newasid))