Symbol: kvmhv_rm_send_ipi
arch/powerpc/include/asm/kvm_book3s_64.h
546
extern void kvmhv_rm_send_ipi(int cpu);
arch/powerpc/kvm/book3s_hv_builtin.c
247
kvmhv_rm_send_ipi(cpu);
arch/powerpc/kvm/book3s_hv_rm_xics.c
164
kvmhv_rm_send_ipi(cpu);
arch/powerpc/kvm/book3s_hv_rm_xics.c
63
kvmhv_rm_send_ipi(hcpu);