Searched refs:asid_generation (Results 1 – 2 of 2) sorted by relevance
30 uint64_t asid_generation; member
85 u64 asid_generation; member188 to_svm(vcpu)->asid_generation--; in force_new_asid()286 svm_data->asid_generation = 1; in svm_hardware_enable()646 svm->asid_generation = 0; in svm_create_vcpu()940 ++svm_data->asid_generation; in new_asid()946 svm->asid_generation = svm_data->asid_generation; in new_asid()1524 svm->asid_generation != svm_data->asid_generation) in pre_svm_run()