nested_vmx_preemption_timer_pending
if (nested_vmx_preemption_timer_pending(vcpu) ||
if (nested_vmx_preemption_timer_pending(vcpu)) {