Searched refs:asid_generation (Results 1 – 4 of 4) sorted by relevance
43 static atomic64_t asid_generation = ATOMIC64_INIT(ASID_FIRST_VERSION);193 u64 generation = atomic64_read(&asid_generation); in new_context()226 &asid_generation); in new_context()254 if (!((asid ^ atomic64_read(&asid_generation)) >> ASID_BITS) in check_and_switch_context()261 if ((asid ^ atomic64_read(&asid_generation)) >> ASID_BITS) { in check_and_switch_context()
23 static atomic64_t asid_generation; variable102 (!(((asid) ^ atomic64_read(&asid_generation)) >> asid_bits))162 u64 generation = atomic64_read(&asid_generation); in new_context()203 &asid_generation); in new_context()404 atomic64_set(&asid_generation, ASID_FIRST_VERSION); in asids_init()
109 uint64_t asid_generation; member174 u64 asid_generation; member
477 sd->asid_generation = 1; in svm_hardware_enable()1217 svm->asid_generation = 0; in init_vmcb()1321 svm->asid_generation = 0; in svm_create_vcpu()1367 svm->asid_generation = 0; in svm_vcpu_load()1753 ++sd->asid_generation; in new_asid()1758 svm->asid_generation = sd->asid_generation; in new_asid()3155 if (svm->asid_generation != sd->asid_generation) in pre_svm_run()3362 svm->asid_generation--; in svm_flush_tlb()
