Searched refs:vmx_get_preemption_timer_value (Results 1 – 1 of 1) sorted by relevance
4403 static u32 vmx_get_preemption_timer_value(struct kvm_vcpu *vcpu) in vmx_get_preemption_timer_value() function4572 vmx_get_preemption_timer_value(vcpu); in sync_vmcs02_to_vmcs12()