nested_cpu_has_preemption_timer
if (!nested_cpu_has_preemption_timer(vmcs12) &&
if (nested_cpu_has_preemption_timer(vmcs12)) {
return nested_cpu_has_preemption_timer(get_vmcs12(vcpu)) &&
if (nested_cpu_has_preemption_timer(vmcs12) &&
if (nested_cpu_has_preemption_timer(vmcs12))
if (nested_cpu_has_preemption_timer(vmcs12) &&