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);