Searched refs:kvm_lapic_switch_to_sw_timer (Results 1 – 3 of 3) sorted by relevance
226 void kvm_lapic_switch_to_sw_timer(struct kvm_vcpu *vcpu);
1731 void kvm_lapic_switch_to_sw_timer(struct kvm_vcpu *vcpu) in kvm_lapic_switch_to_sw_timer() function1741 EXPORT_SYMBOL_GPL(kvm_lapic_switch_to_sw_timer);
13729 kvm_lapic_switch_to_sw_timer(vcpu); in vmx_pre_block()
