sev_get_asid 5061 arch/x86/kvm/svm.c int asid = sev_get_asid(svm->vcpu.kvm); sev_get_asid 6375 arch/x86/kvm/svm.c int asid = sev_get_asid(kvm);