kvmppc_update_timing_stats  994 arch/powerpc/kvm/booke.c 	kvmppc_update_timing_stats(vcpu);
kvmppc_update_timing_stats   17 arch/powerpc/kvm/timing.h void kvmppc_update_timing_stats(struct kvm_vcpu *vcpu);