Searched refs:kvmppc_core_queue_dec (Results 1 – 4 of 4) sorted by relevance
199 void kvmppc_core_queue_dec(struct kvm_vcpu *vcpu) in kvmppc_core_queue_dec() function203 EXPORT_SYMBOL_GPL(kvmppc_core_queue_dec);780 kvmppc_core_queue_dec(vcpu); in kvmppc_decrementer_func()
305 void kvmppc_core_queue_dec(struct kvm_vcpu *vcpu) in kvmppc_core_queue_dec() function651 kvmppc_core_queue_dec(vcpu); in update_timer_ints()
2504 kvmppc_core_queue_dec(vcpu); in kvmppc_set_timer()
136 extern void kvmppc_core_queue_dec(struct kvm_vcpu *vcpu);