Lines Matching refs:PREEMPT_TIMER_VALUE
136 vmcs_write(PREEMPT_TIMER_VALUE, preempt_val); in preemption_timer_init()
186 vmcs_write(PREEMPT_TIMER_VALUE, preempt_val); in preemption_timer_exit_handler()
215 report(vmcs_read(PREEMPT_TIMER_VALUE) == preempt_val, in preemption_timer_exit_handler()
218 vmcs_write(PREEMPT_TIMER_VALUE, preempt_val); in preemption_timer_exit_handler()
224 report(vmcs_read(PREEMPT_TIMER_VALUE) < preempt_val, in preemption_timer_exit_handler()
230 vmcs_write(PREEMPT_TIMER_VALUE, preempt_val); in preemption_timer_exit_handler()
239 vmcs_write(PREEMPT_TIMER_VALUE, 0); in preemption_timer_exit_handler()
8900 vmcs_write(PREEMPT_TIMER_VALUE, 0); in vmx_preemption_timer_zero_activate_preemption_timer()
9079 vmcs_write(PREEMPT_TIMER_VALUE, 50000); in vmx_preemption_timer_tf_test()
9170 vmcs_write(PREEMPT_TIMER_VALUE, preemption_timer_value); in vmx_preemption_timer_expiry_test()
10416 vmcs_write(PREEMPT_TIMER_VALUE, preempt_val); in invalid_msr_init()