sev_es_prevent_msr_access
if (sev_es_prevent_msr_access(vcpu, msr_info)) {
if (sev_es_prevent_msr_access(vcpu, msr))