VMX_MISC_EMULATED_PREEMPTION_TIMER_RATE
VMX_MISC_EMULATED_PREEMPTION_TIMER_RATE;
preemption_timeout <<= VMX_MISC_EMULATED_PREEMPTION_TIMER_RATE;
return value >> VMX_MISC_EMULATED_PREEMPTION_TIMER_RATE;
VMX_MISC_EMULATED_PREEMPTION_TIMER_RATE |