asid_version_mask
if ((cpu_context(cpu, mm) ^ asid_cache(cpu)) & asid_version_mask(cpu))
return ~asid_version_mask(cpu) + 1;
return ((a ^ b) & asid_version_mask(cpu)) == 0;