Searched refs:asid_generation (Results 1 – 2 of 2) sorted by relevance
46 static atomic64_t asid_generation = ATOMIC64_INIT(ASID_FIRST_VERSION);181 u64 generation = atomic64_read(&asid_generation); in new_context()212 &asid_generation); in new_context()243 if (!((asid ^ atomic64_read(&asid_generation)) >> ASID_BITS) in check_and_switch_context()250 if ((asid ^ atomic64_read(&asid_generation)) >> ASID_BITS) { in check_and_switch_context()
134 uint64_t asid_generation; member405 u64 asid_generation; member661 sd->asid_generation = 1; in svm_hardware_enable()1187 svm->asid_generation = 0; in init_vmcb()1263 svm->asid_generation = 0; in svm_create_vcpu()1307 svm->asid_generation = 0; in svm_vcpu_load()1658 ++sd->asid_generation; in new_asid()1663 svm->asid_generation = sd->asid_generation; in new_asid()3592 if (svm->asid_generation != sd->asid_generation) in pre_svm_run()3761 svm->asid_generation--; in svm_flush_tlb()