Searched refs:kvmppc_core_queue_dec (Results 1 – 2 of 2) sorted by relevance
334 void kvmppc_core_queue_dec(struct kvm_vcpu *vcpu) in kvmppc_core_queue_dec() function680 kvmppc_core_queue_dec(vcpu); in update_timer_ints()
143 extern void kvmppc_core_queue_dec(struct kvm_vcpu *vcpu);