nested_cpu_has_shadow_vmcs
CC(hdr.shadow_vmcs != nested_cpu_has_shadow_vmcs(vmcs12)))
if (!nested_cpu_has_shadow_vmcs(vmcs12))
nested_cpu_has_shadow_vmcs(vmcs12) &&
if (nested_cpu_has_shadow_vmcs(vmcs12) &&
if (nested_cpu_has_shadow_vmcs(vmcs12) &&
if (nested_cpu_has_shadow_vmcs(vmcs12) &&
if (!nested_cpu_has_shadow_vmcs(vmcs12) ||
if (!nested_cpu_has_shadow_vmcs(vmcs12) ||
if (!nested_cpu_has_shadow_vmcs(vmcs12))