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);