Searched refs:VMX_PREEMPTION_TIMER_VALUE (Results 1 – 2 of 2) sorted by relevance
288 VMX_PREEMPTION_TIMER_VALUE = 0x0000482E, enumerator
348 vmwrite(VMX_PREEMPTION_TIMER_VALUE, 0); in init_vmcs_guest_state()