update_timer_ints  712 arch/powerpc/kvm/booke.c 		update_timer_ints(vcpu);
update_timer_ints 1377 arch/powerpc/kvm/booke.c 	update_timer_ints(vcpu);
update_timer_ints 1850 arch/powerpc/kvm/booke.c 	update_timer_ints(vcpu);
update_timer_ints 1872 arch/powerpc/kvm/booke.c 	update_timer_ints(vcpu);