nested_cpu_has_vid
!nested_cpu_has_vid(vmcs12) &&
if (!nested_cpu_has_vid(get_vmcs12(vcpu)) ||
if (nested_cpu_has_vid(vmcs12))
if (CC(!nested_cpu_has_vid(vmcs12) && vmcs12->tpr_threshold >> 4))
if (nested_cpu_has_vid(vmcs12)) {
!nested_cpu_has_vid(vmcs12) &&
if (CC(nested_cpu_has_vid(vmcs12) && !nested_exit_on_intr(vcpu)))
(CC(!nested_cpu_has_vid(vmcs12)) ||