EXIT_REASON_PREEMPTION_TIMER
{ EXIT_REASON_PREEMPTION_TIMER, "PREEMPTION_TIMER" }, \
nested_vmx_vmexit(vcpu, EXIT_REASON_PREEMPTION_TIMER, 0, 0);
case EXIT_REASON_PREEMPTION_TIMER:
[EXIT_REASON_PREEMPTION_TIMER] = handle_preemption_timer,
else if (exit_reason.basic == EXIT_REASON_PREEMPTION_TIMER)
vmx_get_exit_reason(vcpu).basic != EXIT_REASON_PREEMPTION_TIMER)
case EXIT_REASON_PREEMPTION_TIMER:
{ EXIT_REASON_PREEMPTION_TIMER, "PREEMPTION_TIMER" }, \
GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_PREEMPTION_TIMER);