asid_first_version
cpu_data[cpu].asid_cache = asid_first_version(cpu);
cpu_data[cpu].asid_cache = asid_first_version(cpu);
cpu_data[cpu].asid_cache = asid_first_version(cpu);
version = atomic64_add_return_relaxed(asid_first_version(0),
num_mmids = asid_first_version(0);
atomic64_set(&mmid_version, asid_first_version(0));