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