kvmppc_set_timer 2951 arch/powerpc/kvm/book3s_hv.c kvmppc_set_timer(vcpu); kvmppc_set_timer 4181 arch/powerpc/kvm/book3s_hv.c kvmppc_set_timer(vcpu);