nested_cpu_has_virtual_nmis
nested_cpu_has_virtual_nmis(vmcs12)))
if (CC(!nested_cpu_has_virtual_nmis(vmcs12) &&