Searched refs:kvmppc_core_dequeue_watchdog (Results 1 – 1 of 1) sorted by relevance
371 static void kvmppc_core_dequeue_watchdog(struct kvm_vcpu *vcpu) in kvmppc_core_dequeue_watchdog() function687 kvmppc_core_dequeue_watchdog(vcpu); in update_timer_ints()