nested_cpu_has_nmi_exiting
if (CC(!nested_cpu_has_nmi_exiting(vmcs12) &&
return nested_cpu_has_nmi_exiting(get_vmcs12(vcpu));