VMX_PREEMPTION_TIMER_VALUE
case VMX_PREEMPTION_TIMER_VALUE:
FIELD(VMX_PREEMPTION_TIMER_VALUE, vmx_preemption_timer_value),
case VMX_PREEMPTION_TIMER_VALUE:
SHADOW_FIELD_RW(VMX_PREEMPTION_TIMER_VALUE, vmx_preemption_timer_value)
vmcs_write32(VMX_PREEMPTION_TIMER_VALUE, 0);
vmcs_write32(VMX_PREEMPTION_TIMER_VALUE, delta_tsc);
vmcs_write32(VMX_PREEMPTION_TIMER_VALUE, -1);
vmwrite(VMX_PREEMPTION_TIMER_VALUE, 0);
GUEST_ASSERT(!vmwrite(VMX_PREEMPTION_TIMER_VALUE,