Searched refs:kvm_lapic_switch_to_sw_timer (Results 1 – 3 of 3) sorted by relevance
264 void kvm_lapic_switch_to_sw_timer(struct kvm_vcpu *vcpu);
2196 void kvm_lapic_switch_to_sw_timer(struct kvm_vcpu *vcpu) in kvm_lapic_switch_to_sw_timer() function
10918 kvm_lapic_switch_to_sw_timer(vcpu); in vcpu_block()