Symbol: kvmppc_set_host_ipi
arch/powerpc/include/asm/kvm_ppc.h
542
static inline void kvmppc_set_host_ipi(int cpu)
arch/powerpc/include/asm/kvm_ppc.h
592
static inline void kvmppc_set_host_ipi(int cpu)