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