handle_preemption_timer
[EXIT_REASON_PREEMPTION_TIMER] = handle_preemption_timer,
return handle_preemption_timer(vcpu);