kvmppc_set_host_ipi  529 arch/powerpc/include/asm/kvm_ppc.h static inline void kvmppc_set_host_ipi(int cpu)
kvmppc_set_host_ipi  580 arch/powerpc/include/asm/kvm_ppc.h static inline void kvmppc_set_host_ipi(int cpu)