kvmppc_set_xive_tima 438 arch/powerpc/include/asm/kvm_ppc.h static inline void kvmppc_set_xive_tima(int cpu, kvmppc_set_xive_tima 570 arch/powerpc/include/asm/kvm_ppc.h static inline void kvmppc_set_xive_tima(int cpu,