min_sev_asid      422 arch/x86/kvm/svm.c static unsigned int min_sev_asid;
min_sev_asid     1235 arch/x86/kvm/svm.c 	min_sev_asid = cpuid_edx(0x8000001F);
min_sev_asid     6336 arch/x86/kvm/svm.c 	pos = find_next_zero_bit(sev_asid_bitmap, max_sev_asid, min_sev_asid - 1);