nested_cpu_has2
if (!nested_cpu_has2(vmcs12, SECONDARY_EXEC_UNRESTRICTED_GUEST))
if (nested_cpu_has2(vmcs12, SECONDARY_EXEC_TSC_SCALING) &&
bool urg = nested_cpu_has2(vmcs12,
!nested_cpu_has2(vmcs12, SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES) &&
if (nested_cpu_has2(vmcs12, SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES)) {
!nested_cpu_has2(vmcs12, SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES)) {
if (nested_cpu_has2(vmcs12, SECONDARY_EXEC_TSC_SCALING))
!nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENCLS_EXITING))
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_RDRAND_EXITING);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_RDSEED_EXITING);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_DESC);
nested_cpu_has2(vmcs12,
nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_INVPCID) &&
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_WBINVD_EXITING);
WARN_ON_ONCE(!nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_XSAVES));
return nested_cpu_has2(vmcs12,
if (nested_cpu_has2(vmcs12, SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES) &&
nested_cpu_has2(vmcs12, SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES)))
if (CC(nested_cpu_has2(vmcs12, SECONDARY_EXEC_UNRESTRICTED_GUEST) &&
if (CC(nested_cpu_has2(vmcs12, SECONDARY_EXEC_MODE_BASED_EPT_EXEC) &&
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_EPT);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_XSAVES);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_PML);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_VIRTUALIZE_X2APIC_MODE);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_VPID);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_APIC_REGISTER_VIRT);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_VIRTUAL_INTR_DELIVERY);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_VMFUNC);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_SHADOW_VMCS);
return nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENCLS_EXITING);
nested_cpu_has2(vmcs12, SECONDARY_EXEC_UNRESTRICTED_GUEST))
nested_cpu_has2(vmcs12, SECONDARY_EXEC_TSC_SCALING))
!nested_cpu_has2(get_vmcs12(vcpu), SECONDARY_EXEC_DESC)) {
if (!nested_cpu_has2(vmcs12, SECONDARY_EXEC_ENABLE_RDTSCP)) {
if (!nested_cpu_has2(vmcs12, SECONDARY_EXEC_DESC))