guest_cpu_cap_has_evmcs
if (likely(!guest_cpu_cap_has_evmcs(vcpu)))
if (!guest_cpu_cap_has_evmcs(vcpu) ||
if (guest_cpu_cap_has_evmcs(vcpu))
if (guest_cpu_cap_has_evmcs(vcpu) &&
if (!msr_info->host_initiated && guest_cpu_cap_has_evmcs(vcpu))