sev_vcpu_after_set_cpuid
sev_vcpu_after_set_cpuid(svm);
void sev_vcpu_after_set_cpuid(struct vcpu_svm *svm);