nested_cpu_has_vpid
(nested_cpu_has_vpid(vmcs12) && to_vmx(vcpu)->nested.vpid02);
if (!nested_cpu_has_vpid(vmcs12)) {
if (nested_cpu_has_vpid(vmcs12) && vmx->nested.vpid02)
CC(nested_cpu_has_vpid(vmcs12) && !vmcs12->virtual_processor_id))
if (!nested_cpu_has_vpid(vmcs12))
if (is_guest_mode(vcpu) && nested_cpu_has_vpid(get_vmcs12(vcpu)))