Searched refs:asid_generation (Results 1 – 2 of 2) sorted by relevance
48 static atomic64_t asid_generation = ATOMIC64_INIT(ASID_FIRST_VERSION); variable158 u64 generation = atomic64_read(&asid_generation); in new_context()175 &asid_generation); in new_context()203 if (!((asid ^ atomic64_read(&asid_generation)) >> ASID_BITS) in check_and_switch_context()210 if ((asid ^ atomic64_read(&asid_generation)) >> ASID_BITS) { in check_and_switch_context()
133 uint64_t asid_generation; member389 u64 asid_generation; member643 sd->asid_generation = 1; in svm_hardware_enable()1173 svm->asid_generation = 0; in init_vmcb()1249 svm->asid_generation = 0; in svm_create_vcpu()1292 svm->asid_generation = 0; in svm_vcpu_load()1655 ++sd->asid_generation; in new_asid()1660 svm->asid_generation = sd->asid_generation; in new_asid()3507 if (svm->asid_generation != sd->asid_generation) in pre_svm_run()3682 svm->asid_generation--; in svm_flush_tlb()