Symbol: kvmppc_update_timing_stats
arch/powerpc/kvm/booke.c
1025
kvmppc_update_timing_stats(vcpu);
arch/powerpc/kvm/timing.h
16
void kvmppc_update_timing_stats(struct kvm_vcpu *vcpu);